Preguntas sobre gramáticas formales, descripciones generativas de lenguajes formales.
La gente suele decir que los analizadores LR (k) son más potentes que los analizadores LL (k) . Estas declaraciones son vagas la mayor parte del tiempo; en particular, ¿deberíamos comparar las clases para una fija o la unión sobre todas las k ? Entonces, ¿cómo es realmente la situación? En...
Llamemos a un lenguaje determinista sin contexto si y solo si puede ser aceptado por un autómata determinista de empuje hacia abajo, y no determinista de lo contrario. Llamemos a un lenguaje libre de contexto inherentemente ambiguo si y solo si todas las gramáticas libres de contexto que generan...
Al ver que en la Jerarquía de Chomsky, los lenguajes Tipo 3 pueden ser reconocidos por una máquina de estado sin memoria externa (es decir, un autómata finito), el Tipo 2 por una máquina de estado con una sola pila (es decir, un autómata pushdown) y el Tipo 0 una máquina de estados con dos pilas...
Hay muchas definiciones en línea sobre lo que es una gramática libre de contexto, pero nada de lo que encuentro satisface mi problema principal: ¿De qué contexto está libre? Para investigar, busqué en Google "gramática sensible al contexto" pero todavía no pude encontrar de qué se trataba el...
He estado estudiando compiladores durante un tiempo, y he estado buscando lo que se entiende por "contexto" en gramática y lo que significa que la gramática esté "libre de contexto", pero sin resultado. Entonces, ¿alguien puede ayudar con
Tengo un conjunto de pares. Cada par tiene la forma (x, y) de modo que x, y pertenecen a enteros del rango [0,n). Entonces, si n es 4, entonces tengo los siguientes pares: (0,1) (0,2) (0,3) (1,2) (1,3) (2,3) Ya tengo las parejas. Ahora, tengo que construir una combinación usando n/2pares de...
Existen muchas técnicas para demostrar que un idioma no está libre de contexto, pero ¿cómo pruebo que un idioma no tiene contexto? ¿Qué técnicas hay para probar esto? Obviamente, una forma es exhibir una gramática libre de contexto para el lenguaje. ¿Existen técnicas sistemáticas para encontrar...
Mi problema es cómo puedo probar que una gramática no es ambigua. Tengo la siguiente gramática: S→ s t a t e m e n t ∣ si e x p r e s s i o n entonces S∣ si e x p r e s s i o n entonces S otra cosa SS→statement∣if expression then S∣if expression then S else SS → statement ∣ \mbox{if }...
EPAL, el lenguaje de incluso palíndromos, se define como el lenguaje generado por la siguiente gramática libre de contexto inequívoca: S→ a aS→aaS \rightarrow a a S→ b bS→bbS \rightarrow b b S→ a SunaS→aSaS \rightarrow a S a S→ b SsiS→bSbS \rightarrow b S b EPAL es la "ruina" de...
Especificar idiomas formales al dar gramáticas formales es una tarea frecuente: necesitamos gramáticas no solo para describir idiomas, sino también para analizarlos, o incluso hacer ciencia adecuada . En todos los casos, es importante que la gramática en cuestión sea correcta , es decir, que genere...
Esta pregunta se migró de Intercambio teórico de apilamiento de informática porque se puede responder en Intercambio apilado de informática. Migrado hace 7 años . Estoy buscando teorías matemáticas que traten de describir lenguajes formales (conjunto de cadenas) en...
En el diseño del compilador, ¿por qué debería eliminarse la recursividad izquierda en las gramáticas? Estoy leyendo que es porque puede causar una recursión infinita, pero ¿no es cierto también para una gramática recursiva
Consideremos dos gramáticas libres de contexto y y la siguiente pregunta: ¿Es , es decir, son las dos gramáticas equivalentes?sol1G1G_1sol2G2G_2L ( G1) = L ( G2)L(G1)=L(G2)L(G_1) = L(G_2) En general, este problema es indecidible. Sin embargo, si y son gramáticas lineales a la izquierda (o lineales...
Según este artículo de Wikipedia , las gramáticas sin restricciones son equivalentes a las máquinas de Turing. El artículo señala que puedo convertir cualquier máquina de Turing en una gramática sin restricciones, pero solo muestra cómo convertir una gramática en una máquina de Turing. ¿Cómo puedo...
¿Puede una gramática libre de contexto incluir "estados muertos" de un autómata, como G = ( { a , b , c } , { A , B , C} , { A → a B , B → b , B → C, C→ c C} , A )?sol=({un,si,C},{UN,si,C},{UN→unsi,si→si,si→C,C→CC},UN)?G = \big(\{a, b, c\}, \{A, B, C\}, \{A\to aB, B\to b, B\to C, C\to cC\},...
Si tengo una gramática de tipo 3, se puede representar en un autómata pushdown (sin realizar ninguna operación en la pila) para poder representar expresiones regulares utilizando lenguajes libres de contexto. Pero, ¿puedo saber si una gramática de tipo 3 es , , , etc. sin construir tablas de...
Se dice que la intersección de un lenguaje libre de contexto L con un lenguaje regular M siempre está libre de contexto. Entendí la prueba de construcción de productos cruzados, pero todavía no entiendo por qué es libre de contexto pero no regular. El lenguaje generado por tal intersección tiene...
Es discutible que la mayoría de los lenguajes creados para describir problemas cotidianos sean sensibles al contexto. Por otro lado, es posible y no difícil encontrar algunos lenguajes que no sean recursivos o incluso no recursivamente enumerables. Entre estos dos tipos se encuentran los lenguajes...
Defina el lenguaje LL como L={a,b}∗−{ww∣w∈{a,b}∗}L = \{a, b\}^* - \{ww\mid w \in \{a, b\}^*\} . En otras palabras, LL contiene las palabras que no se pueden expresar como alguna palabra repetida dos veces. ¿Es LL contexto o no? He intentado intersectar con a ∗ b ∗ a ∗ b ∗LLa∗b∗a∗b∗a^*b^*a^*b^* ,...
Según el artículo de Wikipedia , la L en significa "exploración de izquierda a derecha", y la "R" significa "derivación más a la derecha". Sin embargo, en el artículo original de Knuth sobre las gramáticas L R ( k ) , define L R ( k ) (en la página 610) como un lenguaje que es "traducible de...