wiki_research

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

factor_closed_language (386B)


      1 # Factor closed language
      2 
      3 A [formal_language] L such that, if u is in L and v is a [factor] of u, then v is in L
      4 
      5 Also closed "bifix-closed", because it is equivalent to being [prefix_closed] and [suffix_closed]
      6 
      7 Up: [factor]
      8 
      9 See also: [factor_convex_language], [Prefix_closed_language], [Suffix_closed_language], [factor_free_language], [bifix_free_language], [bifix_convex_language]