wiki_research

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

formal_language_operator (652B)


      1 # Formal language operator
      2 
      3 An [operator] that takes one or two [formal_languages] and creates a new [formal_language]
      4 
      5 - [boolean_operators]
      6   - [language_union]
      7   - [language_intersection]
      8   - [language_complementation]
      9 - [concatenation]
     10 - [kleene_star]
     11 - [morphism] / [inverse_morphism]
     12 - [quotient_formal_language]
     13   - see [derivative]
     14 - [wreath_product]
     15 - [semidirect_product]
     16 - [shuffle]
     17 - [formal_language_mirror]
     18 - [formal_language_closure_operation]: an operator that takes one [formal_language] and extends it by adding more [words] to it
     19   - [upward_closure] / [downward_closure]
     20   - [commutative_closure]
     21 
     22 Up: [formal_language], [operator]