Let ser un lenguaje, entonces definimos la congruencia sintáctica como u ~ v : ⇔ ∀ x , y ∈ X * : x T y ∈ L ↔ x v y ∈ L y el cociente monoid X * / ~ L es llamado el monoide sintáctica de L .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...
Introducción Estoy escribiendo mi tesis doctoral sobre Modelado Delta abstracto (ADM), una descripción algebraica abstracta de modificaciones (conocidas como deltas ) capaces de actuar sobre productos (como en 'productos de software'). Esto se puede usar para organizar un conjunto de productos...
Dado un DFA completo , podemos definir una colección de funciones para cada y con , . Podemos generalizar esta noción a una palabra y donde denota la composición de la función. Además, denotamos y es monoide.f a a ∈ Γ f a : Q → Q f a ( q ) = δ ( q , a ) w = a 1 , ⋯ , a m f w = f a 1 ∘ ⋯ ∘ f a m ∘ G...
Deje ser un alfabeto finito. Para un lenguaje dado el monoide sintáctico es una noción bien conocida en la teoría del lenguaje formal. Además, un monoide reconoce un lenguaje si existe un morfismo tal que .AAAL⊆A∗L⊆A∗L \subseteq A^{\ast} M(L)M(L)M(L)MMMLLLφ:A∗→Mφ:A∗→M\varphi : A^{\ast} \to...