3
Pada realisasi monoids sebagai monoids sintaksis bahasa
Biarkan L⊆X∗L⊆X∗L \subseteq X^{\ast} menjadi bahasa tertentu, maka kita mendefinisikan kongruensi sintaksis sebagai dan hasil bagi monoid disebut monoid sintaksis dari .u∼v:⇔∀x,y∈X∗:xuy∈L↔xvy∈Lu∼v:⇔∀x,y∈X∗:xuy∈L↔xvy∈L u \sim v :\Leftrightarrow \forall x, y\in X^{\ast} : xuy \in L \leftrightarrow xvy \in L X∗/∼LX∗/∼LX^{\ast} / \sim_LLLL Sekarang monoids apa yang muncul sebagai monoids sintaksis bahasa? …