Preguntas etiquetadas con fl.formal-languages

Se desconoce si o , dondeP⊆CSLP⊆CSLP\subseteq CSLP⊈CSLP⊈CSLP\not\subseteq CSL PPP es el conjunto de todos los idiomas que se pueden decidir en tiempo polinómico en una máquina de Turing determinista, y CSLCSLCSL es la clase de lenguajes sensibles al contexto, conocidos por ser equivalentes a NSPACE(O(n))NSPACE(O(n))NSPACE(O(n)) , los lenguajes decididos por …

10 cc.complexity-theory  fl.formal-languages  polynomial-time 

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 

Existen varios modelos diferentes para definir transformaciones entre idiomas. Los transductores de estado finito y las transformaciones de gráficos definibles por MSO sobre gráficos de cadenas son los dos que mejor conozco. Sabemos que los transductores de estado finito de 2 vías (que son más expresivos que sus contrapartes de …

9 fl.formal-languages 

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 

¿Cuál es la proporción de CFG ambiguos a todos los CFG ? Como ambos conjuntos son infinitamente contables, la relación no está bien definida. Pero qué pasa con la densidad asintótica : limn↦∞# ambiguous CFG of size<n# CFG of size<nlimn↦∞# ambiguous CFG of size<n# CFG of size<n\lim_{n \mapsto \infty}\frac {\# …

9 fl.formal-languages  grammars  context-free 

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 

Estoy aprendiendo la teoría algebraica del análisis. Mi primer problema es identificar ejemplos de semiring que son específicos de la teoría del lenguaje formal. Aquí hay un intento de construir dos ejemplos. 1 Dada la gramática CNF, los elementos de semiring son conjuntos de símbolos terminales y no terminales con …

9 fl.formal-languages 

Me preguntaba qué conjuntos de idiomas se generan por restricciones de expresiones regulares. Supongamos que todas las restricciones tienen un símbolo constante para cada elemento de y concatenación. Entonces se pueden formar ocho clases por la presencia o ausencia de complemento / negación, alteración / unión y la estrella de …

9 fl.formal-languages  regular-expressions 

Los analizadores de gráficos se pueden implementar según la forma normal de Chomsky o directamente según las reglas de producción. Supongamos por el momento que tenemos un analizador gráfico CYK que usa la forma normal de Chomsky. La binarización no está definida de forma exclusiva. ¿Esto afecta el rendimiento del …

9 fl.formal-languages  parsing 

¿Existen permutaciones y gramática libre de contexto de tamaño polinómico (en ) que describe el lenguaje finito sobre el alfabeto ?π1,π2π1,π2\pi_1,\pi_2|w|=n|w|=n|w|=n{wπ1(w)π2(w)}{wπ1(w)π2(w)}\{w \pi_1(w) \pi_2(w)\}{0,1}{0,1}\{0,1\} ACTUALIZACIÓN: Para una permutación es posible. es la inversión o modificación relativamente menor de la inversión.ππ\piππ\pi

9 fl.formal-languages  grammars  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 

Es simple ver que los poderes de 2 sobre el alfabeto {0,1} son regulares porque 10∗10∗10^* es una expresión regular para ello. Pero los poderes de 2 representados en ternario parecen no ser regulares. El bombeo de clases de lema o residuos es difícil de aplicar, ya que parece haber …

9 automata-theory  fl.formal-languages 

La conjetura de Cerny es la afirmación de que cualquier autómata de sincronización con nnn estados tiene una palabra de longitud de sincronización como máximo (n−1)2(n−1)2(n-1)^2 . El mejor límite superior actual para la longitud de una palabra de sincronización es O(n3)O(n3)O(n^3) . Digamos que dos estados se fusionan por …

8 fl.formal-languages  automata-theory  open-problem  dfa  synchronization 

Estoy confundido sobre el ejemplo dado en el artículo de Wikipedia sobre gramática sensible al contexto: https://en.wikipedia.org/wiki/Context-sensitive_grammar Descargo de responsabilidad : ya he cambiado la sección discutida en el artículo de Wikipedia, por lo que el estado actual del artículo diferirá de lo que estoy discutiendo en esta pregunta. La …

8 fl.formal-languages  grammars