substring_distance (298B)
1 # Substring distance 2 3 Defined in [ng2017state], also called "subword distance" in [choffrut2002distances] 4 5 Called "push pop distance" in [amarilli2023enumerating] 6 7 Up: [subword], [string_distance] 8 9 Aliases: subword distance, push pop distance 10 11 See also: [edit_distance], [longest_common_substring]