Preguntas etiquetadas con context-free

En el prefacio de sus libros muy influyentes Automata, Languages ​​and Machines (Volúmenes A, B), Samuel Eilenberg prometió tentadoramente que los Volúmenes C y D se ocupan de "una jerarquía (llamada la jerarquía racional) de los fenómenos no racionales ... utilizando relaciones racionales como una herramienta para la comparación. Los …

31 soft-question  fl.formal-languages  automata-theory  regular-language  context-free 

En muchos artículos que involucran gramáticas libres de contexto (CFG), los ejemplos de tales gramáticas presentados allí a menudo admiten caracterizaciones fáciles del lenguaje que generan. Por ejemplo: S→aaSbS→aaSbS \to a a S b S→S→S \to genera {a2ibi|i≥0}{a2ibi|i≥0}\{ a^{2i} b^i | i \geq 0\} , S→aSbS→aSbS \to a S b …

25 fl.formal-languages  context-free  context-free-languages 

Prácticamente, para un lenguaje que eventualmente puede compilarse / transformarse en instrucciones de nivel de sistema, ¿es necesario que sea una gramática libre de contexto? Ej: ¿Todos los lenguajes de programación / scripting son gramáticas libres de contexto? Java se basa en CFG, pero ¿es realmente el caso de que …

23 pl.programming-languages  context-free 

Al jugar con el análisis LR no canónico, pensé en un método de análisis (con tablas de tamaño infinito, lo que lo hace poco práctico ) capaz de analizar exactamente las gramáticas inequívocas en el tiempo , y me preguntaba si es posible hacerlo mejor :O ( n2)O(norte2)O(n^2) ¿Se pueden …

22 reference-request  fl.formal-languages  time-complexity  parsing  context-free 

Estoy buscando idiomas que "probablemente no estén libres de contexto" pero no podemos (des) probarlo usando técnicas estándar conocidas. ¿Hay una encuesta reciente sobre el tema o una sección de problemas abierta de una conferencia reciente? Probablemente no haya muchos idiomas que no se sepa que son CF, por lo …

21 reference-request  big-list  context-free 

con el número de palabras de longitud en un lenguaje (posiblemente ambiguo) libre de contexto.wnortewnortew_nnortenorten ¿Qué se sabe sobre ?wnortewnortew_n Estoy seguro de que esto se ha estudiado mucho, pero no pude encontrar nada en él.

20 fl.formal-languages  context-free 

Dadas las expresiones regulares , ¿existen límites no triviales en el tamaño de la gramática libre de contexto más pequeña para ?R 1R1, ... , RnorteR1,…,RnR_1, \dots, R_nR1∩ ⋯ ∩ RnorteR1∩⋯∩RnorteR_1 \cap \cdots \cap R_n

20 fl.formal-languages  regular-language  context-free 

Es bien sabido que el problema de equivalencia es indecidible para los lenguajes generales sin contexto. Sin embargo, todas las pruebas de este hecho que conozco parecen involucrar algunas gramáticas ambiguas sin contexto. Por esta razón, me gustaría preguntar si se sabe si el problema sigue siendo indecidible mientras se …

19 fl.formal-languages  grammars  context-free  decidability  undecidability 

He leído en alguna parte que una máquina de Turing no puede calcular esto y, por lo tanto, es indecidible, pero ¿por qué? ¿Por qué es computacionalmente imposible para una máquina generar el árbol de análisis y tomar una decisión? ¿Quizás estoy equivocado y se puede hacer?

19 computability  turing-machines  context-free 

Hay una multitud de algoritmos que pueden analizar una gramática libre de contexto en tiempo . Usando la multiplicación de matrices, incluso se puede ir asintóticamente más rápido que eso.O ( n3)O(n3)O(n^3) Sin embargo, todos los algoritmos para analizar CFG arbitrarios que conozco tienen un uso de espacio en el …

18 ds.algorithms  fl.formal-languages  space-bounded  parsing  context-free 

En el libro de Sakarovitch sobre teoría de autómatas, está escrito en la introducción a la sección de racionales en el grupo libre que el material presentado en él establece "la base de una teoría verdaderamente matemática de lenguajes libres de contexto". Sin embargo, esto no se hace explícito, ya …

17 context-free  automata-theory  reference-request 

Es una prueba estándar en cursos de autómatas que para y | Σ | ≥ 2 que S ( L ) = { w w : w ∈ L } no es un lenguaje sin contexto.L=Σ⋆L=Σ⋆L = \Sigma^\star|Σ|≥2|Σ|≥2|\Sigma| \ge 2S(L)={ww:w∈L}S(L)={ww:w∈L}S(L) = \{ww : w \in L\} También es cierto que …

16 context-free 

En la descripción formal de los Autómatas de empuje determinista, permiten movimientos , donde la máquina puede hacer estallar o empujar símbolos en la pila sin leer un símbolo de la entrada. Si estos movimientos no están permitidos, y la pila solo se puede modificar una vez después de cada …

16 automata-theory  context-free 

Me pregunto, ¿hay algún trabajo o investigación que trate con autómatas visiblemente pushdown, pero que permita que las palabras, en lugar de letras simples, sean empujadas a la pila. Alternativamente, una construcción que permita que los símbolos se presionen en las transiciones ϵϵ\epsilon podría lograr el mismo objetivo. Obviamente, tales …

16 reference-request  fl.formal-languages  automata-theory  context-free  context-free-languages 

Una frase de permutación es una extensión de las definiciones de gramática libre de contexto estándar (E) BNF: una frase de permutación contiene n producciones (o, de manera equivalente, no terminales) A 1 a A n{ A1, ... , Anorte}{UN1,...,UNnorte}\{ A_1, \dots, A_n \}nortenortenUN1UN1A_1UNnorteUNnorteA_n . En la posición de la …

16 ds.algorithms  fl.formal-languages  parsing  context-free