subword (484B)
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 - [subword_closed_language] 12 - [subword_free_language] 13 - [subword_convex_language] 14 15 Up: [formal_language_theory] 16 17 See also: [language_downwards_closed], [subword_universal], [factor], [compressed_subword_problem] 18 19 Aliases: subwords