Sei ein endliches Alphabet. Für eine gegebene Sprache das syntaktische Monoid ein in der formalen Sprachtheorie bekannter Begriff. Weiterhin erkennt ein Monoid eine Sprache wenn ein Morphismus so dass .
Dann haben wir das schöne Ergebnis:
Ein Monoid erkennt wenn ein homomorphes Bild eines Submonoids von (geschrieben als ).
Das Obige ist normalerweise Zustände im Kontext regulärer Sprachen, und dann sind die obigen Monoide alle endlich.
Nehmen wir nun an, wir ersetzen durch ein beliebiges Monoid N und sagen, dass eine Teilmenge L ⊆ N von M erkannt wird, wenn ein Morphismus φ : N → M existiert, so dass L = φ - 1 ( φ ( L ) ) . Dann haben wir immer noch das, wenn M L erkennt , dann ist M ( L ) ≺ M (siehe S. Eilenberg, Automaten, Maschinen und Sprachen, Band B), aber gilt das Gegenteil?
Im Beweis für die Umkehrung durch Ausnutzung der Eigenschaft bewiesen, dass, wenn N = φ ( M ) für einen Morphismus φ : M → N und ψ : A ∗ → N auch ein Morphismus ist, wir ρ : A ∗ finden können → M so, dass φ ( ρ ( u ) ) = ψ ( u ) gilt, einfach durch Auswahl von ρ ( x ) ∈ für jedes x ∈ A und von diesem auf eine morphism erstreckt A * zu M . Dies funktioniert jedoch nicht für beliebige Monoide N, daher erwarte ich, dass die obige Umkehrung dann falsch ist. Und wenn es falsch ist, für welche Art von Monoid neben A ∗ ist es noch wahr, und haben diese Monoide in der Forschungsliteratur Beachtung gefunden?
Antworten:
Ja, diese Monoide haben in der Forschungsliteratur Beachtung gefunden und führen tatsächlich zu schwierigen Fragen.
Definition . Ein Monoid heißt projektiv, wenn die folgende Eigenschaft gilt: Wenn f : N → R ein Monoidmorphismus ist und h : T → R ein surjektiver Morphismus ist, dann existiert ein Morphismus g : N → T, so dass f = h ∘ g .N f:N→R h:T→R g:N→T f=h∘g
Eine lange Diskussion über projektive Monoide finden Sie in [1] direkt nach Definition 4.1.33. Es wird insbesondere gezeigt, dass jede projektive endliche Halbgruppe eine Band ist (eine Halbgruppe, in der jedes Element idempotent ist). Aber das Gegenteil ist nicht der Fall und es ist tatsächlich ein offenes Problem zu entscheiden, ob eine endliche Halbgruppe projektiv ist.
quelle