Preguntas etiquetadas con grammars

¿El lenguaje { } está libre de contexto o no?unayosijdok El | i≠j,i≠k,j≠k unayosijdok El | yo≠j,yo≠k,j≠ka^{i}b^{j}c^{k} ~|~ i \neq j, i \neq k, j \neq k Me di cuenta de que he encontrado casi todas las variantes de esta pregunta con diferentes condiciones sobre la relación entre i, j …

30 automata-theory  fl.formal-languages  grammars 

Como proyecto paralelo, estoy escribiendo un lenguaje usando Python. Comencé usando un clon de flex / bison llamado Ply, pero estoy enfrentando los límites en el poder de lo que puedo expresar con ese estilo de gramática, y no estoy interesado en hackear mi lenguaje debido a un desajuste de …

28 fl.formal-languages  pl.programming-languages  grammars 

El lema de bombeo para los idiomas regulares se puede probar considerando un autómata de estado finito que reconoce el idioma estudiado, escogiendo una cadena con una longitud mayor que su número de estados y aplicando el principio del casillero. El lema de bombeo para lenguajes libres de contexto (así …

21 fl.formal-languages  automata-theory  proofs  grammars 

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 

Esta es una reformulación de ¿Son los programas de gramáticas? previamente preguntado por Vag y con muchas sugerencias de los comentaristas. ¿De qué manera puede verse una gramática que especifica un modelo de cálculo? Si, por ejemplo, tomamos una gramática simple sin contexto, como G ::= '1' -> '0' '+' …

18 fl.formal-languages  pl.programming-languages  grammars  universal-computation 

En el capítulo 4 de A Second Course in Automata Theory de Jeffrey Shallit, el siguiente problema aparece como abierto: p(n)p(n)p(n)∈Np(n) \in \mathbb{N}n∈Nn \in \mathbb{N}{ p ( n ) ∣ n ⩾ 0 } {p(n)∣n⩾0}\{p(n) \mid n \geqslant 0\}p pp⩽ 1 es .⩽1\leqslant 1 ¿Cuál es su estado ahora (en …

14 fl.formal-languages  nt.number-theory  grammars 

Considere la siguiente pregunta natural: dado un lenguaje finito , ¿cuál es la gramática libre de contexto más pequeña que genera ?LLLLLL Podemos hacer la pregunta más interesante especificando una secuencia de idiomas , por ejemplo, es el conjunto de todas las permutaciones de : intuitivamente, un CFG para "necesitaría" …

14 reference-request  fl.formal-languages  lower-bounds  grammars  context-free 

Deje que se dé un número . Considere el siguiente lenguaje L n = {nortenn .Lnorte= {w wEl |w ∈ { 0 , 1 }norte}Ln={ww|w∈{0,1}n}L_n = \{ \; ww \; \vert \; w \in \{0,1\}^{n} \; \} En palabras, es el conjunto de cadenas de copia de longitud 2 n …

10 fl.formal-languages  automata-theory  grammars  context-free 

Deje que sea ​​un lenguaje sin contexto. Definir que es el cierre de pre y posfijo de , en otras palabras, contiene todos los 's prefijos y sufijos, y por lo tanto sí mismo. Mi pregunta: si tiene contexto y tiene una gramática no ambigua, ¿es lo mismo para ?p …

10 fl.formal-languages  automata-theory  grammars  context-free-languages 

Estoy interesado en la música de computadora, donde hay enfoques para tratar piezas musicales como oraciones en gramáticas generativas o sistemas L. En lugar de componer, uno podría especificar una gramática y dejar que la computadora genere la música. Por ejemplo, el grupo de Yale alrededor del fallecido Paul Hudak …

9 grammars 

¿Cuál es la proporción de CFG ambiguos a todos los CFG ? Como ambos conjuntos son infinitamente contables, la relación no está bien definida. Pero qué pasa con la densidad asintótica : limn↦∞# ambiguous CFG of size<n# CFG of size<nlimn↦∞# ambiguous CFG of size<n# CFG of size<n\lim_{n \mapsto \infty}\frac {\# …

9 fl.formal-languages  grammars  context-free 

¿Existen permutaciones y gramática libre de contexto de tamaño polinómico (en ) que describe el lenguaje finito sobre el alfabeto ?π1,π2π1,π2\pi_1,\pi_2|w|=n|w|=n|w|=n{wπ1(w)π2(w)}{wπ1(w)π2(w)}\{w \pi_1(w) \pi_2(w)\}{0,1}{0,1}\{0,1\} ACTUALIZACIÓN: Para una permutación es posible. es la inversión o modificación relativamente menor de la inversión.ππ\piππ\pi

9 fl.formal-languages  grammars  context-free 

Estoy confundido sobre el ejemplo dado en el artículo de Wikipedia sobre gramática sensible al contexto: https://en.wikipedia.org/wiki/Context-sensitive_grammar Descargo de responsabilidad : ya he cambiado la sección discutida en el artículo de Wikipedia, por lo que el estado actual del artículo diferirá de lo que estoy discutiendo en esta pregunta. La …

8 fl.formal-languages  grammars 

Estoy tratando de aclarar mi comprensión en el ejemplo presentado en la Sección 2.2 de Autómatas cuánticos finitos de 1 vía: fortalezas, debilidades y generalizaciones (este enlace alternativo también puede ser útil). Este ejemplo proporciona un ejemplo muy simplificado de un 1-QFA con las siguientes reglas de transición: ,Va|q0⟩=12|q0⟩+12|q1⟩+12√|qrej⟩Va|q0⟩=12|q0⟩+12|q1⟩+12|qrej⟩V_a|q_0\rangle = …

8 fl.formal-languages  quantum-computing  automata-theory  grammars 

Sabemos que todos los autómatas push down son representables utilizando gramáticas libres de contexto. Además, existe un algoritmo para construir un CFG a partir de cualquier PDA (por ejemplo, la prueba de Sipser introducida a la teoría de la computación). ¿Hay alguna herramienta que haga esta traducción? Es decir, puedo …

8 automata-theory  fl.formal-languages  grammars  software