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 L .
Welche Monoide entstehen nun als syntaktische Monoide von Sprachen? Ich fand Sprachen für symmetrische Gruppen und für die Menge aller Zuordnungen auf einer zugrunde liegenden endlichen Menge. Aber was ist mit anderen, gibt es endliche Monoide, die nicht als syntaktisches Monoid einer Sprache geschrieben werden könnten?
Betrachtet man für einen gegebenen Automaten das Monoid, das durch die durch die Buchstaben auf den Zuständen induzierten Abbildungen erzeugt wird (das sogenannte Transformationsmonoid), wenn die Funktionszusammensetzung von links nach rechts gelesen wird, so ist das Transformationsmonoid des Minimalautomaten genau das syntaktisches Monoid. Diese Beobachtung half mir bei der Konstruktion der oben genannten Beispiele.
Lassen Sie mich auch nicht sagen, dass es ganz einfach ist, ein endliches Monoid als Transformationsmonoid eines Automaten zu realisieren. Nehmen Sie einfach die Elemente von M als Zustände und betrachten Sie jeden Generator von M als Buchstaben des Alphabets, und die Übergänge sind gegeben durch q x für einen Zustand q und einen Buchstaben x ist das Transformationsmonoid zu M selbst isomorph (dies ist ähnlich dem Cayley-Theorem darüber, wie Gruppen in symmetrische Gruppen eingebettet werden).