3
Sobre a realização de monóides como monóides sintáticos de línguas
Seja uma linguagem, então definimos a congruência sintática como e o quociente monoid é chamado o monoid sintática de .L⊆X∗L⊆X∗L \subseteq X^{\ast}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 Agora, quais monoides surgem como monoides sintáticos de idiomas? …