Preguntas etiquetadas con monoid

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 …

14 fl.formal-languages  automata-theory  regular-language  algebra  monoid 

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 ML=φ−1(φ(L)))L=φ−1(φ(L)))L = \varphi^{-1}(\varphi(L))) Entonces tenemos el buen resultado: …

9 fl.formal-languages  automata-theory  regular-language  algebra  monoid 

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 ( …

9 automata-theory  regular-language  monoid 

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 relacionados (una 'línea de productos') como un producto básico …

9 pl.programming-languages  algebra  monoid