wiki_research

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

syntactic_semigroup (371B)

      1 # Syntactic semigroup
      2 
      3 Two definitions:
      4 
      5 - The [semigroup] [spanned] by the [transition_functions] for the various [letters] of the [minimal_automaton]
      6 - [quotient] of [words] by [syntactic_equivalence]
      7 
      8 A [formal_language] is [regular_language] iff syntactic semigroup is finite
      9 
     10 See also: [syntactic_monoid], [non_erasing_morphism], [stable_semigroup]
     11 
     12 Up: [semigroup]