Preguntas etiquetadas con formal-languages

Me he encontrado con esa pregunta: "Dé ejemplos de dos idiomas regulares en los que su unión no genere un idioma regular". Esto es bastante impactante para mí porque creo que los idiomas regulares están cerrados bajo unión. Lo que significa para mí que si tomo dos idiomas regulares y …

12 formal-languages  regular-languages  closure-properties 

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 

Entiendo que las gramáticas libres de contexto pueden usarse para representar lenguajes libres de contexto. Puede tener ambigüedades. También tenemos formas normales como Chomsky y Greibach . No pude entender la necesidad de eso. ¿Por qué son importantes en la teoría de los idiomas? Todos los libros de texto a …

12 formal-languages  context-free  formal-grammars  normal-forms 

Digamos, L⊆{0}∗L⊆{0}∗L \subseteq \{0\}^* . Entonces, ¿cómo podemos demostrar que L∗L∗L^* es regular? Si LLL es regular, entonces, por supuesto, L∗L∗L^* también es regular. Si LLL es finito, entonces es regular y nuevamente L∗L∗L^* es regular. También he notado que, para L={0p∣p is a prime}L={0p∣p is a prime}L = \{0^p …

12 formal-languages  regular-languages 

Si es regular, ¿se deduce que es regular? AA2A2A^2AAA Mi intento de una prueba: Sí, por contradicción, suponga que no es regular. A continuación, .A 2 = A ⋅ AAAAA2=A⋅AA2=A⋅AA^2 = A \cdot A Dado que la concatenación de dos idiomas no regulares no es regular, no puede ser regular. …

12 formal-languages  regular-languages  closure-properties 

Estaba mirando el curso de Gödelization en Teoría de la Computación. Podía entender los conceptos de numeración de Gödel, pero no podía entender su importancia en la teoría de la computación. ¿Podría alguien señalar algunos buenos materiales o señalar su importancia?

12 formal-languages  turing-machines 

Sea regular, L 1 ∩ L 2 regular, L 2 no regular. Demuestre que L 1 ∪ L 2 no es regular o dé un contraejemplo.L1L1L_1L1∩ L2L1∩L2L_1 \cap L_2L2L2L_2L1∪ L2L1∪L2L_1 \cup L_2 Intenté esto: Mira . Este es regular. Puedo construir un autómata finito para esto: L 1 es regular, …

12 formal-languages  regular-languages 

Quiero convertir una expresión regular ingresada por el usuario en un NFA para que luego pueda ejecutar el NFA en una cadena con fines coincidentes. ¿Cuál es la máquina mínima que se puede usar para analizar las expresiones regulares? Supongo que debe ser un autómata push down porque la presencia …

12 formal-languages  parsers  regular-expressions  pushdown-automata 

¿Existen idiomas indecidibles tales que su lenguaje de unión / intersección / concatenado sea decidible? ¿Cuál es la interpretación física de tal ejemplo porque, en general, los lenguajes indecidibles no están cerrados bajo estas operaciones? ¿Qué podemos decir sobre el cierre de Kleene? ¿Tenemos ejemplos para ello también? Es decir, …

12 formal-languages  undecidability  closure-properties 

Encontré esta figura que muestra que los lenguajes libres de contexto y regulares son subconjuntos (adecuados) de problemas eficientes (supuestamente ). Entiendo perfectamente que los problemas eficientes son un subconjunto de todos los problemas decidibles porque podemos resolverlos, pero podría llevar mucho tiempo.PP\mathrm{P} ¿Por qué todos los lenguajes libres de …

12 formal-languages  regular-languages  context-free  efficiency 

Me pregunto, ¿cuál es la complejidad temporal de determinar el vacío para los DFA de 2 vías? Es decir, autómatas finitos que pueden moverse hacia atrás en su cinta de entrada de solo lectura. Según Wikipedia, son equivalentes a los DFA, aunque el DFA equivalente podría ser exponencialmente más grande. …

12 complexity-theory  formal-languages  reference-request  automata  finite-automata 

Quiero demostrar que el complemento de no es regular usando las propiedades de cierre.{0n1n∣n≥0}{0n1n∣n≥0}\{0^n1^n \mid n \geq{} 0\} Entiendo que el lema de bombeo se puede usar para demostrar que no es un lenguaje normal. También entiendo que los idiomas regulares están cerrados bajo la operación de complemento. Sin embargo, …

12 formal-languages  regular-languages  closure-properties 

Esta pregunta es sobre si cada teorema matemático puede reducirse a la pregunta de si una sola máquina de Turing se detiene. En particular, estoy interesado en conjeturas que actualmente no están probadas. Por ejemplo: Wikipedia dice que actualmente se desconoce si hay números perfectos impares. Como es decidible si …

11 formal-languages  computability  mathematical-foundations 

Una expresión regular se define de forma recursiva como para algunos a ∈ Σ es una expresión regular,aaaa∈Σa∈Σa \in \Sigma es una expresión regular,εε\varepsilon es una expresión regular,∅∅\emptyset donde R 1 y R 2 son expresiones regulares es una expresión regular,(R1∪R2)(R1∪R2)(R_1 \cup R_2)R1R1R_1R2R2R_2 donde R 1 y R 2 son …

11 formal-languages  regular-languages  regular-expressions 

Minimizar los autómatas finitos deterministas (DFA) es un problema que se ha estudiado a fondo en la literatura, y se han propuesto varios algoritmos para resolver el siguiente problema: Dado un DFA , calcule un DFA mínimo correspondiente que acepte el mismo lenguaje que . La mayoría de estos algoritmos …

11 algorithms  formal-languages  finite-automata