Preguntas etiquetadas con 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 …

15 formal-languages  automata  nondeterminism 

Usualmente uso el símbolo para una cadena vacía (palabra vacía o cadena nula). Pero sé que algunas personas usan λ en lugar de ε .εε\varepsilonλλ\lambdaεε\varepsilon Creo que se deriva de la palabra "Vacío". Sin embargo, no sé cuál es el origen de λ .εε\varepsilonλλ\lambda En la teoría de autómatas, existe …

14 formal-languages  automata  reference-request  notation  history 

Me doy cuenta de que los autómatas de pushdown no deterministas pueden ser una mejora sobre los deterministas, ya que pueden "elegir" entre varios estados y hay algunos lenguajes libres de contexto que no pueden ser aceptados por un pushdown determinista. Aún así, no entiendo cómo exactamente "eligen". Para palindormes, …

14 automata  pushdown-automata  nondeterminism 

Estoy estudiando lenguajes formales y sistemas de bases de producción (sistemas de bases de reglas) y estoy un poco confundido acerca de por qué estas dos palabras "producción" y "regla" significan lo mismo en tantos contextos en informática. En inglés no parecen significar lo mismo. No soy hablante nativo de …

13 formal-languages  terminology  automata  finite-automata  formal-grammars 

Mañana es mi presentación y quiero aclarar mis conceptos ... He leído que en DFA, "Para cada estado, se debe definir la transición en todos los símbolos posibles (alfabeto)". ¿Es obligatorio para cada estado definir la transición en todos los símbolos posibles en DFA? Si no es así, ¿puede dar …

13 automata  finite-automata  nondeterminism 

A propósito de la sugerencia de Raphael sobre la intersección de dos NPDA : Deje y A 2 NPDA para lenguajes libres de contexto L 1 y L 2 , respectivamente. Suponiendo que sabemos que L = L 1 ∩ L 2 no tiene contexto, ¿podemos (efectivamente) construir NPDA para …

13 computability  automata  pushdown-automata 

Descubrí que si no entiendo la etimología detrás de un término cs / programación, generalmente significa que he perdido o malinterpretado algún concepto subyacente importante. No entiendo por qué la estrella de Kleene también se llama cierre de Kleene. ¿Está relacionado con los cierres en la programación, una función con …

13 automata  regular-expressions 

He leído en Wikipedia y algunos otros textos que El problema de detención es [...] decidible para autómatas lineales (LBA) [y] máquinas deterministas con memoria finita. Pero antes se escribe que el problema de detención es un problema indecidible y, por lo tanto, TM no puede resolverlo. Dado que LBA …

13 turing-machines  automata  undecidability  halting-problem  linear-bounded-automata 

¿Hay alguna forma natural o notable de relacionar o vincular grupos matemáticos y lenguajes formales de CS o algún otro concepto central de CS, por ejemplo, máquinas de Turing? Estoy buscando referencias / aplicaciones. Sin embargo, tenga en cuenta que conozco el vínculo entre los semigrupos y los lenguajes CS …

13 formal-languages  reference-request  automata  discrete-mathematics  group-theory 

Soy un programador con control sobre los autómatas, pero no sobre la lógica. Leí en periódicos que los dos están estrechamente relacionados. Los autómatas finitos deterministas (DFA), los autómatas de árbol y los autómatas visiblemente pushdown están todos relacionados con la lógica monádica de segundo orden (MSO). Aunque entiendo que …

13 automata  finite-automata  logic  coq  automated-theorem-proving 

Soy nuevo en los autómatas, y ayer me dieron una breve introducción a las expresiones regulares. He leído las diversas reglas para definir una expresión regular. Pero no puedo diferenciar entre las expresiones regulares y la gramática de un idioma (no me han enseñado la gramática de las expresiones regulares). …

12 automata  formal-grammars  regular-expressions 

El objetivo es crear DFA a partir de una expresión regular y usar "Exp. Regular> NFA> Conversión de DFA" no es una opción. ¿Cómo debería uno hacer eso? Le hice esta pregunta a nuestro profesor, pero él me dijo que podemos usar la intuición y amablemente se negó a dar …

12 automata  finite-automata  regular-expressions  simulation 

En la imagen a continuación, estoy tratando de averiguar qué es exactamente lo que esta NFA está aceptando. Lo que me confunde es el salto en .q 0ϵϵ\epsilonq0q0q_0 Si se ingresa un , ¿el sistema se mueve a y (el estado de aceptación)?q 0 q 1000q0q0q_0 q1q1q_1 Si se ingresa …

12 automata  finite-automata  nondeterminism 

Aquí está el problema: Demuestre que las máquinas de Turing de una sola cinta que no pueden escribir en la parte de la cinta que contiene la cadena de entrada reconocen solo los idiomas normales. Mi idea es demostrar que esta TM en particular es equivalente a una DFA. Usar …

12 formal-languages  computability  regular-languages  turing-machines  automata 

Entonces, sé que probar si un lenguaje regular es un subconjunto del lenguaje regular S es decidible, ya que podemos convertirlos a ambos en DFA, calcular R ∩ ˉ S y luego probar si este idioma está vacío.RRRSSSR∩S¯R∩S¯R \cap \bar{S} Sin embargo, dado que esto requiere la conversión a DFA, …

12 algorithms  regular-languages  automata  np-complete  decision-problem