Preguntas etiquetadas con fl.formal-languages

Dado un lenguaje regular (NFA, DFA, gramática o expresión regular), ¿cómo se puede contar el número de palabras aceptadas en un idioma determinado? Tanto "con exactamente n letras" como "con como máximo n letras" son de interés. Margareta Ackerman tiene dos documentos sobre el tema relacionado de enumerar palabras aceptadas …

26 ds.algorithms  co.combinatorics  fl.formal-languages  regular-language 

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 

1) ¿Cuál es, si la hay, la relación entre la escritura estática y las gramáticas formales? 2) En particular, ¿sería posible que un autómata lineal limitado verificara si, por ejemplo, un programa C ++ o SML estaba bien escrito? ¿Un autómata apilado anidado? 3) ¿Existe una forma natural de expresar …

25 automata-theory  fl.formal-languages  pl.programming-languages  type-theory  type-inference 

Hace poco estuve leyendo sobre el analizador Earley y creo que es uno de los algoritmos más elegantes que he visto hasta la fecha. Sin embargo, el algoritmo en su sentido tradicional es un reconocedor y no un analizador, lo que significa que puede detectar si una cadena coincide con …

25 fl.formal-languages  parsing 

Para cualquier lenguaje sobre Σ * , definir L 1 / 2 = { x ∈ Σ * : x y ∈ L , y ∈ Σ | x | } . En palabras, consiste de todas las para los cuales existe un de igual longitud tal que .LLLΣ∗Σ∗\Sigma^*L1/ 2= …

24 fl.formal-languages  automata-theory 

Para un alfabeto finito fijo , un lenguaje formal sobre es normal si existe un autómata finito determinista (DFA) sobre que acepta exactamente .L Σ Σ LΣΣ\SigmaLLLΣΣ\SigmaΣΣ\SigmaLLL Me interesan los idiomas que son "casi" regulares en el sentido de que pueden ser reconocidos por las familias de autómatas de tamaño …

23 reference-request  fl.formal-languages  automata-theory  online-algorithms  dfa 

Es posible que algunos de ustedes hayan estado siguiendo esta pregunta , que se cerró debido a que no tenía nivel de investigación. Entonces, estoy extrayendo la parte de la pregunta que está a nivel de investigación. Más allá de las técnicas "más simples", como reducir a la clasificación o …

23 cc.complexity-theory  reference-request  fl.formal-languages  time-complexity  reductions 

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 

Además de la complejidad de comunicación (determinista) de una relación , otra medida básica para la cantidad de comunicación necesaria es el número de partición de protocolo . La relación entre estas dos medidas se conoce hasta un factor constante. La monografía de Kushilevitz y Nisan (1997) daRc c ( …

22 fl.formal-languages  lower-bounds  open-problem  regular-expressions  communication-complexity 

Me di cuenta de que los idiomas regulares sobre el alfabeto pueden considerarse naturalmente como un poset, y de hecho una red. Además, la concatenación junto con el lenguaje vacío ϵ define una estructura monoidal estricta en esta categoría que es distributiva sobre las uniones (no estoy seguro acerca de …

21 fl.formal-languages  regular-language  ct.category-theory 

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 

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 

Defina la siguiente clase de idiomas "circulares" sobre un alfabeto finito Sigma. En realidad, el nombre ya existe para denotar una cosa diferente que parece, utilizada en el campo de la computación de ADN. AFAICT, esa es una clase diferente de idiomas. Un lenguaje L es circular si todas las …

20 fl.formal-languages  automata-theory  regular-language 

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