Preguntas etiquetadas con automata

Dejar METROMETROM ser un NFA acíclico. Ya que METROMETROM es acíclico L ( M)L(METRO)L(M) es finito Podemos calcular El | L(M) |El |L(METRO)El ||L(M)| en tiempo polinomial? Si no, ¿podemos aproximarlo? Tenga en cuenta que el número de palabras no es el mismo que el número de rutas de aceptación …

8 formal-languages  automata  finite-automata  nondeterminism  counting 

He estado intentando durante bastante tiempo encontrar una construcción para poder demostrar formalmente que un PDA determinista está cerrado bajo complementación. Sin embargo, sucede que cada idea que tengo tiene algo que al final no encaja. ¿Me puedes dar una mano? El principal problema ocurre con los movimientos ε . …

8 formal-languages  automata  closure-properties  pushdown-automata 

Considere el siguiente problema del universo . El problema del universo. Dado un conjunto finitoΣΣ\Sigma para una clase de idiomas y un autómata que acepta el idioma LLL, decidir si L=Σ∗L=Σ∗L=\Sigma^*. En [1], se afirma y prueba que el problema del universo es indecidible para una clase particular de autómatas …

8 formal-languages  reference-request  automata  undecidability  decision-problem 

Estas diapositivas de la conferencia bosquejan una prueba de queL = {unanortesinorte∣ n ≥ 0 } ∪ {unanortesi2 n| N ≥ 0 }L={unanortesinorte∣norte≥0 0}∪{unanortesi2norte∣norte≥0 0}L=\{ a^n b^n \mid n \geq 0 \} \cup \{ a^n b^{2n} \mid n \geq 0 \} no puede ser aceptado por ningún autómata determinista pushdown. …

8 formal-languages  reference-request  automata  pushdown-automata  nondeterminism 

Esto está algo relacionado con otra pregunta que hice , pero siento que es lo suficientemente diferente como para justificar su propia pregunta. Estoy investigando donde estoy tratando de encontrar la estructura de los complementos de una determinada clase de lenguajes finitos. Es fácil para mí obtener los DFA mínimos …

8 formal-languages  automata  finite-automata  discrete-mathematics  nondeterminism 

¿Nuestra PC funciona como máquina de Turing? El modelo de una máquina de Turing consiste en una cinta de memoria infinita, que significa estados infinitos. Pero supongamos que si nuestra PC tiene 128 MB de memoria y 30 GB de disco, tendría 256 ^ 30128000000 estados y, por lo tanto, …

8 complexity-theory  computability  turing-machines  automata 

Dejar A = { L ∣ Les un contador y L¯ también es un contador }A={L∣Lis one-counter and L¯ is also one-counter}A= \{L \mid L \;\text{is one-counter and \(\bar{L}\) is also one-counter} \} Claramente,Un contador determinista ⊆ ADeterministic one-counter⊆A\text{Deterministic one-counter} \subseteq A ¿Es el caso que ?A = contador deterministaA=Deterministic …

8 formal-languages  automata  closure-properties  pushdown-automata 

Estoy buscando aplicaciones prácticas de máquinas de estado finito como máquinas DFA, NFA, Moore, Mealy ... Sería útil si alguien señalara ejemplos del kernel de Linux. Sé que DFA se usa en la coincidencia de cadenas como el algoritmo KMP. ¿Cuál es el significado de las máquinas NFA, Moore y …

8 reference-request  automata  finite-automata 

¿Cómo demuestro que el problema de decidir si un PDA acepta alguna cadena de la forma es indecidible?{w!w∣w∈{0,1}∗}{w!w∣w∈{0,1}∗}\{ w!w \mid w \in \{ 0, 1 \}^*\} He tratado de reducir este problema a otro indecidible, como si dos gramáticas libres de contexto aceptan el mismo lenguaje. Sin embargo, no estoy …

8 formal-languages  automata  context-free  undecidability  pushdown-automata 

He estado tratando de implementar el algoritmo de Brzozowski, pero acabo de descubrir que crea autómatas subóptimos para una determinada clase de entradas, con un estado más de lo que realmente se necesita en el resultado. Puedo mostrarlo en un autómata trivial: a b a b a b a b …

8 algorithms  automata  finite-automata 

Esta es una pregunta de seguimiento de esta . En una pregunta anterior sobre máquinas de estado exóticas , Alex ten Brink y Raphael abordaron las capacidades computacionales de un tipo peculiar de máquina de estado: los autómatas de min-montón. Pudieron demostrar que el conjunto de idiomas aceptados por tales …

8 formal-languages  automata  closure-properties