Trato de enseñarme el uso del bisonte. La página de manual bison (1) dice acerca de bison: Genere un analizador determinista LR o generalizado LR (GLR) empleando tablas LALR (1), IELR (1) o analizador canónico LR (1). ¿Qué es un analizador IELR? Todos los artículos relevantes que encontré en...
Deje que GGG sea una gramática libre de contexto. Una serie de terminales y no terminales de GGG se dice que es una forma de frase de GGG si se puede obtener mediante la aplicación de las producciones de GGG cero o más veces al símbolo inicial de SSS . Deje SF(G)SF(G)\operatorname{SF}(G) el...
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...
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...
Estoy tratando de entender qué se entiende por "determinista" en expresiones como "gramática determinista sin contexto". (Hay "cosas" más deterministas en este campo). ¡Agradecería un ejemplo más que la explicación más elaborada! Si es posible. Mi principal fuente de confusión es no poder decir...
Esta es una pregunta del Libro del Dragón. Esta es la gramática: S→AaAb∣BbBaS→AaAb∣BbBaS \to AaAb \mid BbBa B → εA→εA→εA \to \varepsilon B→εB→εB \to \varepsilon La pregunta pregunta cómo mostrar que es LL (1) pero no SLR (1). Para demostrar que es LL (1), intenté construir su tabla de...
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...
Recientemente estoy estudiando sobre el diseño de compiladores. Llegué a conocer dos tipos de gramática, una es la gramática LL y la otra es la gramática LR. También conocemos los hechos de que cada gramática LL es LR, es decir, la gramática LL es un subconjunto adecuado de la gramática LR. El...
Estaba revisando la definición de Wikipedia de lenguaje sensible al contexto y encontré esto: Cada categoría de idiomas es un subconjunto apropiado de la categoría directamente encima de ella. Cualquier autómata y cualquier gramática en cada categoría tiene un autómata o gramática equivalente en...
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...
Estoy tratando de entender las gramáticas sensibles al contexto. Entiendo por qué a los idiomas les gusta { w w ∣ w ∈ A∗}{ww∣w∈A∗}\{ww \mid w \in A^*\} { anortesinorteCnorte∣ n ∈ N }{anbncn∣n∈N}\{a^n b^n c^n \mid n\in\mathbb{N}\} no están libres de contexto, pero me gustaría saber si un...
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...
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...
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...
Las máquinas de Turing y las gramáticas sin restricciones son dos formalismos diferentes que definen los lenguajes RE. Algunos lenguajes RE son decidibles, pero no todos lo son. Podemos definir los idiomas decidibles con las máquinas de Turing diciendo que un idioma es decidible si hay una TM para...
¿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...
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...
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....
Según mi lectura, parece que la mayoría de las gramáticas se preocupan por generar un número infinito de cadenas. ¿Qué pasa si trabajas al revés? Si se le dan n cadenas de m longitud, debería ser posible hacer una gramática que genere esas cadenas y solo esas cadenas. ¿Existe un método conocido...