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 .L ⊆X∗L⊆X∗L \subseteq X^{\ast}u ∼ v : ⇔ ⇔ x ,y∈ X∗: x uy∈ L ↔ x vy∈ Lu∼v: ⇔∀x,y∈X∗:xuy∈L↔xvy∈L u...
Einführung Ich schreibe meine Doktorarbeit über Abstract Delta Modeling (ADM), eine abstrakte algebraische Beschreibung von Modifikationen (bekannt als Deltas ), die auf Produkte (wie in "Softwareprodukten") einwirken können . Dies kann verwendet werden, um eine Reihe verwandter Produkte (eine...
Bei einer vollständigen DFA , können wir eine Sammlung von Funktionen definieren , f eine für jedes a ∈ Γ und mit f ein : Q → Q , f einen ( q ) = δ ( q , a ) . Wir können diesen Begriff auf ein Wort w = a 1 , ⋯ , a m und f w verallgemeinernA=(Q,Γ,δ,F)A=(Q,Γ,δ,F)A=(Q, \Gamma, \delta,...
Sei EINAA ein endliches Alphabet. Für eine gegebene Sprache L ⊆ A.∗L⊆A∗L \subseteq A^{\ast} das syntaktische Monoid M.( L )M(L)M(L) ein in der formalen Sprachtheorie bekannter Begriff. Weiterhin erkennt ein Monoid M.MM eine Sprache L.LL wenn ein Morphismus φ : A.∗→ M.φ:A∗→M\varphi : A^{\ast} \to M...