Tengo un problema con este ejercicio: Sea G la siguiente gramática ambigua para el cálculo λ: E → v | λv.E | EE | (E) donde E es el símbolo único no terminal, λv.E representa la abstracción wrt la variable v en E, y EE representa la aplicación. Defina una gramática LL (1) G 'tal que...
Estaba pensando en gramáticas para lenguajes sensibles a la indendación y parece que las gramáticas CF funcionarían si se combinaran con parámetros. Como ejemplo, considere este fragmento para la gramática simplificada de Python en formato ANTLR: // on top-level the statements have empty...
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...
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...
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 lema de bombeo...
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 sé que al menos es sensible...
Los lenguajes sin contexto no se cierran bajo complementación. En las conferencias se nos ha dado el mismo argumento que aquí en Wikipedia : para A={anbncm; m,n∈N0}andB={ambncn; m,n∈N0},A={anbncm; m,n∈ℕ0}andB={ambncn; m,n∈ℕ0},A = \{\mathtt a^n \mathtt b^n \mathtt c^m;~m, n ∈...
En el trabajo, se me ha encomendado la tarea de inferir cierta información sobre un lenguaje dinámico. Reescribo secuencias de declaraciones en letexpresiones anidadas , así: return x; Z => x var x; Z => let x = undefined in Z x = y; Z => let x = y in Z if x then T else F; Z => if x...
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 existe la duda de si...
El desplazamiento cíclico (también llamado rotación o conjugación ) de un lenguaje se define como . Según Wikipedia (y aquí ), los lenguajes libres de contexto se cierran bajo esta operación, con referencias a documentos de Oshiba y de Maslov. ¿Hay una prueba fácil de este hecho?{ y x ∣ x y ∈ L...
Esta es una pregunta del libro Dragon (pido disculpas por los errores de traducción, no tengo la versión en inglés a la mano): ¿Qué idioma genera esta gramática? S→aSbS∣bSaS∣ϵS→aSbS∣bSaS∣ϵS \rightarrow a S b S \mid b S a S \mid \epsilon No sé qué se supone que debo hacer aquí. La definición...
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....
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 que...
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...
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}...
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...
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...
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 ∈ ( Σ ∪ N ) ∗ S ( G ) Ga ∈ ( Σ ∪ N)+un∈(Σ∪norte)+a \in...
¿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...
En el artículo Parsing Expressions by Recursive Descent de Theodore Norvell (1999), el autor comienza con la siguiente gramática para expresiones aritméticas: E --> E "+" E | E "-" E | "-" E | E "*" E | E "/" E | E "^" E | "(" E ")" | v lo cual es bastante malo, porque es ambiguo y recursivo...