factor (224B)
1 # Factor 2 3 Definition: [word] u is factor of [word] v if we have v = xuy for some [word]s x and y 4 5 - [factor_universal] 6 7 Up: [formal_language_theory] 8 9 See also: [subword], [prefix], [suffix] 10 11 Aliases: factors, infix, infixes