Preguntas etiquetadas con automata-theory

Estoy interesado en una ligera generalización de DFA. Como de costumbre, tenemos un conjunto de estados QQQ , un alfabeto finito ΣΣ\Sigma , una acción Σ∗Σ∗\Sigma^* definida en QQQ por δ: Q × Σ → Qδ:Q×Σ→Q\delta : Q\times\Sigma\rightarrow Q , y un estado inicial q0 0q0q_0 ; pero en lugar …

10 automata-theory  dfa 

Actualización: Parece que este problema ha sido estudiado y resuelto recientemente, vea este artículo wiki: http://en.wikipedia.org/wiki/Tree_walking_automaton Y también esta encuesta: http://www.mimuw.edu.pl/~bojan /papers/twasurvey.pdf Supongamos que, en lugar del conjunto habitual de palabras, {0,1} *, nuestras palabras no son lineales, sino que se dan en alguna estructura de árbol. Para evitar que …

10 cc.complexity-theory  automata-theory  space-bounded  dfa 

Planteamiento del problema : Deje que sea ​​un autómata pushdown (potencialmente no determinista) y deje que sea ​​su alfabeto de entrada. ¿Hay una palabra st que es aceptado por ?A w ∈ A ∗ | w | ≤ k MMETROMETROMUNAUNA\cal Aw ∈ A∗w∈UNA∗w \in \cal A^*El | w | ≤kEl …

10 cc.complexity-theory  np-hardness  fl.formal-languages  automata-theory 

Si hay algunos resultados en la resolución de problemas de idiomas formales utilizando análisis matemáticos, matemáticas continuas. Por ejemplo, resolver el problema de la intersección del no vacío para un lenguaje libre de contexto y un lenguaje regular.

9 fl.formal-languages  automata-theory  context-free 

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 

Deje ser un alfabeto finito. Un código de X sobre Σ es un subconjunto de Σ * de tal manera que cada palabra en X * se puede representar de forma única como una concatenación de palabras en X . Un código X es finito si | X | es …

9 automata-theory 

un tiempo he sentido curiosidad por las máquinas de Turing con exactamente una cinta y exactamente 3 estados (es decir, el estado inicial , el estado de aceptación y el estado de rechazo ). Tenga en cuenta que permito alfabetos de cinta arbitrarios (finitos) (es decir, el alfabeto de cinta …

9 automata-theory  turing-machines  cellular-automata 

Deje que sea ​​un alfabeto de tamaño , y considere los DFA mínimos cuyo tamaño está limitado como máximo por . Supongamos que denota el número de diferentes DFA mínimos de este tipo.2 m f ( m )ΣΣ\Sigma222metrommF( m )f(m)f(m) ¿Podemos encontrar una fórmula de forma cerrada para ?F( m …

9 cc.complexity-theory  automata-theory  nondeterminism  dfa 

¿Los autómatas con límites lineales no deterministas de visita limitada reconocen solo los lenguajes normales? Por un autómata lineal no determinista (nLBA) me refiero a una máquina de Turing no determinista de una sola cinta donde la entrada viene "rellenada" con marcadores en ambos extremos que nunca se pueden sobrescribir, …

9 automata-theory  turing-machines  regular-language  space-bounded 

Dado un lenguaje regular en el alfabeto A , su autómata determinista mínimo puede verse como un multigrafo conectado directo con un grado de salida constante | A | y un estado inicial marcado (olvidando etiquetas de transiciones, estados finales). Mantenemos el estado inicial porque cada vértice debe ser accesible …

9 graph-theory  automata-theory 

El algoritmo de Brzozowski para convertir un DFA en un DFA de estado mínimo equivalente es notablemente simple: si denota el NFA formado al invertir todos los bordes en un DFA , haciendo que el estado inicial anterior sea un estado de aceptación, y haciendo que el anterior acepte estados …

9 automata-theory  minimization 

Estoy interesado en algoritmos eficientes para la intersección de DFA para casos especiales. Es decir, cuando los DFA que se cruzan obedecen una determinada estructura y / o funcionan en un alfabeto limitado. ¿Hay alguna fuente donde pueda encontrar algoritmos en estos casos? Para no hacer que la pregunta sea …

9 automata-theory  time-complexity  dfa 

Me gustaría saber por qué para el reconocimiento de lenguajes libres de contexto solo funcionan los autómatas push-down no deterministas (DPA = NPDA). ¿Por qué los autómatas deterministas pushdown (DPDA) no reconocen tales lenguajes?

9 fl.formal-languages  automata-theory  context-free 

En mi experiencia, los lenguajes sensibles al contexto y los autómatas lineales limitados son frecuentemente omitidos o ignorados en los cursos de teoría de la computabilidad, e incluso quedan fuera de algunos libros de texto notables, aunque los autómatas finitos y pushdown reciben mucha atención. ¿Seguramente debe haber una buena …

9 computability  fl.formal-languages  automata-theory