wiki_research

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

variety (455B)

      1 # Variety
      2 
      3 ## Variety of formal language
      4 
      5 [variety_formal_language]
      6 
      7 ## Variety of [monoid]
      8 
      9 [variety_monoid]
     10 
     11 ## Variety of [semigroup]
     12 
     13 We can impose that some elements in [semigroup_equations] are not mapped to the [neutral_element]
     14 - cf [non_erasing_morphism]
     15 
     16 ## Variety of [stamps]
     17 
     18 - cf [length_preserving_morphism]
     19 
     20 ## Examples
     21 
     22 - [da]
     23 
     24 ## Types of variety
     25 
     26 - [Positive_variety]
     27 - [Variety_Li]
     28 
     29 Up: [algebraic_automata_theory]
     30 
     31 Aliases: varieties