wiki_research

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

algebraic_automata_theory (639B)

      1 # Algebraic automata theory
      2 
      3 - [variety] closed under [inverse_morphism], left/right [quotient], [sublanguage],
      4   [boolean_set_operation] including [complementation]
      5   - [variety_li] li-variety: closure only under inverses of length-increasing [length_increasing_morphism] pin2016dot
      6     - connection to notion of +-variety
      7     - lm-variety?
      8 - Eilenberg's variety theorem [eilenbergs_theorem]: varieties of [monoid]
      9   correspond to varieties of [regular_language]
     10 - [reitermans_theorem]: varieties can be defined by [profinite] identities,
     11   i.e., varieties on profinite words
     12 - [greens_relations]
     13 
     14 Up: [formal_language_theory], [algebra]