subword (402B)
1 # Subword 2 3 u subword of v means v = xuy; also called a "factor" or an "infix" 4 5 must be contiguous, unlike [subsequence] 6 7 - [subword_automaton] 8 9 - [longest_common_subword] [timkovsky1989complexity] 10 - [shortest_common_superword] [timkovsky1989complexity] 11 12 Up: [formal_language_theory] 13 14 See also: [language_downwards_closed], [subword_universal], [factor], [compressed_subword_problem] 15 16 Aliases: subwords