Preguntas etiquetadas con context-free

Tengo el siguiente idioma { 0yo1j2k∣ 0 ≤ i ≤ j ≤ k }{0i1j2k∣0≤i≤j≤k}\qquad \{0^i 1^j 2^k \mid 0 \leq i \leq j \leq k\} Estoy tratando de determinar en qué clase de idioma Chomsky encaja. Puedo ver cómo se podría hacer usando una gramática sensible al contexto, así que …

11 formal-languages  context-free  formal-grammars  pumping-lemma 

Deje , L_2 , L_3 , \ dots ser una secuencia infinita de lenguajes libres de contexto, cada uno de los cuales está definido sobre un alfabeto común Σ . Deje que L sea el in fi nito de unión L_1 , L_2 , L_3 , \ dots ; es …

11 formal-languages  context-free  closure-properties 

El lema de bombeo para los idiomas regulares se puede usar para demostrar que ciertos idiomas no son regulares, y el lema de bombeo para los idiomas sin contexto (junto con el lema de Ogden) se puede usar para demostrar que ciertos idiomas no están libres de contexto. ¿Existe un …

11 context-free  proof-techniques  pumping-lemma 

Necesito saber bajo qué clase de CFL está cerrada, es decir, qué conjunto es complemento de CFL. Sé que CFL no está cerrado bajo complemento, y sé que P está cerrado bajo complemento. Dado que CFL PI puede decir que el complemento de CFL está incluido en P (¿verdad?). Todavía …

11 complexity-theory  formal-languages  context-free  closure-properties  sets 

Estoy trabajando en un ejercicio duro en un libro de texto, y no puedo entender cómo proceder. Aquí está el problema. Supongamos que tenemos el lenguaje L={aibj:i≤jγ,i≥0,j≥1}L={aibj:i≤jγ,i≥0,j≥1}L = \{a^ib^j: i \leq j \gamma, i\geq 0, j\geq 1\} donde γγ\gamma es un número irracional. ¿Cómo probaría que LLL no es un …

10 formal-languages  automata  context-free 

Hay una manera de realizar un análisis difuso (acepta cadenas incluso con errores tipográficos a una cierta distancia de edición), con un DFA y un Autómata Levenshtein construido en tiempo de ejecución de la palabra de entrada. ¿Se puede hacer algo similar con un analizador Earley? Me resulta difícil entender …

10 algorithms  context-free  finite-automata  parsers  string-metrics 

En un analizador LR (0), cada estado consta de una colección de elementos LR (0), que son producciones anotadas con una posición. En un analizador LR (1), cada estado consta de una colección de elementos LR (1), que son producciones anotadas con una posición y un carácter anticipado. Se sabe …

10 context-free  parsers  lr-k 

Una forma de ver las expresiones regulares es como una prueba constructiva del siguiente hecho: es posible construir los idiomas regulares comenzando con un pequeño conjunto de idiomas y combinándolos a través de un pequeño conjunto fijo de propiedades de cierre. Específicamente, si comenzamos con el idioma vacío, el idioma …

10 formal-languages  context-free  closure-properties  regular-expressions 

¿Puede alguien aclararme por qué un analizador de descenso recursivo con retroceso que prueba las producciones y (en ese orden) no reconoce el lenguaje formado por la gramática .S→aSaS→unSunS \rightarrow aSaS→aaS→ununS \rightarrow aaS→aSa | aaS→unSun El | ununS \rightarrow aSa\ |\ aa Parece que solo analiza palabras del idioma .{a2n …

10 context-free  formal-grammars  compilers  parsers 

Recientemente me encontré con un artículo que describe la técnica de análisis mencionada en el título. Desafortunadamente, la terminología utilizada en dicho documento está más allá de mi comprensión, por lo que he estado tratando de comprender el algoritmo de construcción de manera más intuitiva. Creo que tuve éxito ( …

10 algorithms  formal-grammars  context-free  parsing 

Deje el conjunto de terminal y el conjunto de símbolos no terminales de algunos gramática libre de contexto .N GΣΣ\SigmanortenorteNsolsolG Digamos que tengo una cadena tal que donde y son las formas enunciativas de . x a y ∈ S ( G ) x , y ∈ ( Σ ∪ …

10 algorithms  context-free  formal-grammars  compilers 

Escriba para la expansión decimal de (sin encabezado ). Deje y ser enteros, con . Considere el lenguaje de las expansiones decimales de los múltiplos de más una constante:n¯n¯\bar nnnn0aaabbba>0a>0a > 0aaa M={ax+b¯¯¯¯¯¯¯¯¯¯¯¯¯¯∣x∈N}M={ax+b¯∣x∈N}M = \{ \overline{a\,x+b} \mid x\in\mathbb{N} \} ¿ M es MMMregular? sin contexto? (Contraste con el lenguaje de …

10 formal-languages  context-free  regular-languages  integers 

¿Por qué (si es así) el separador ##\# está haciendo una diferencia entre los dos idiomas? Digamos: L={ws:|w|=|s|w,s∈{0,1}∗,w≠s}L={ws:|w|=|s|w,s∈{0,1}∗,w≠s}L=\{ws : |w|=|s|\, w,s\in \{0,1\}^{*}, w \neq s \} L#={w#s:|w|=|s|w,s∈{0,1}∗,w≠s}L#={w#s:|w|=|s|w,s∈{0,1}∗,w≠s}L_{\#}=\{w\#s : |w|=|s|\, w,s\in \{0,1\}^{*}, w \neq s \} Aquí hay una prueba y una gramática que representa LLL como CFLCFLCFL Y debajo estoy …

9 formal-languages  context-free  pumping-lemma 

A continuación se presenta gramática independiente del contexto de una "colgando más" tipo de ambigüedad (imagina que sinónimo de y b representa y c representa algún otro tipo de instrucción o bloque): Saaaif expr thenbbbelseccc Por ejemplo,aacbcse puede analizar como(a(acbc))o como(a(ac)bc)(esta es la palabra ambigua más simple / más corta …

9 context-free  formal-grammars  parsers  ambiguity 

Hace poco me preguntaba qué pasaría si permitiéramos que las gramáticas sin contexto tengan un número infinito de reglas. Claramente, si permitiéramos arbitrariamente tales conjuntos infinitos de reglas, cada lenguaje sobre algún alfabeto Σ podría describirse mediante un CFG G = ( { S } , Σ , R , …

9 formal-languages  context-free  formal-grammars