wiki_research

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

factor (376B)

      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 - [absent_factor]
      7 
      8 If u is a factor of v, then v is an [extension] of u
      9 
     10 - [factor_closed_language]
     11 - [factor_convex_language]
     12 - [factor_free_language]
     13 
     14 Up: [formal_language_theory]
     15 
     16 See also: [subword], [prefix], [suffix]
     17 
     18 Aliases: factors, infix, infixes