factor (399B)
1 # Factor 2 3 Definition: [word] u is factor of [word] v if we have v = xuy for some [words] x and y 4 5 - [factor_universal] 6 - [factorial_language] 7 - [absent_factor] 8 9 If u is a factor of v, then v is an [extension] of u 10 11 - [factor_closed_language] 12 - [factor_convex_language] 13 - [factor_free_language] 14 15 Up: [formal_language_theory] 16 17 See also: [subword], [prefix], [suffix] 18 19 Aliases: factors, infix, infixes