3
Zur Realisierung von Monoiden als syntaktische Sprachmonoide
Let einige Sprache sein, dann definieren wir die syntaktische Kongruenz als u ~ v : ⇔ ∀ x , y ∈ X * : x U y ∈ L ↔ x v y ∈ L und der Quotient monoid X * / ~ L ist die angerufene syntaktische Monoid von …