Preguntas etiquetadas con formal-grammars

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? …

67 formal-languages  formal-grammars  parsers  reference-question 

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 el …

36 formal-languages  automata  formal-grammars  pushdown-automata 

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 …

34 formal-languages  applied-theory  computability  automata  formal-grammars 

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 "contexto". ¿Alguien …

30 terminology  context-free  formal-grammars 

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 esto?

29 terminology  context-free  formal-grammars 

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 …

28 algorithms  graphics  data-structures  computational-geometry  operating-systems  process-scheduling  algorithms  sorting  database-theory  relational-algebra  finite-model-theory  logic  automata  linear-temporal-logic  buchi-automata  complexity-theory  np-complete  decision-problem  machine-learning  algorithms  pattern-recognition  logic  formal-languages  formal-grammars  context-free 

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 una gramática libre de …

26 formal-languages  context-free  formal-grammars  proof-techniques  reference-question 

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 …

25 context-free  formal-grammars  proof-techniques  ambiguity 

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" …

23 formal-languages  formal-grammars  parsers 

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 exactamente las palabras deseadas. …

22 formal-languages  formal-grammars  proof-techniques  reference-question 

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 general y no solo jerarquías gramaticales.

22 formal-languages  formal-grammars 

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 correcta?

20 formal-grammars  compilers  left-recursion 

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 a la derecha), entonces …

19 formal-languages  context-free  formal-grammars 

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 hacer eso y convertir …

19 formal-grammars  turing-machines  simulation 

¿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 …

18 context-free  automata  formal-grammars