wiki_research

personal research wiki
git clone https://a3nm.net/git/wiki_research/
Log | Files | Refs

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