Preguntas etiquetadas con formal-languages

Esta es una pregunta de seguimiento de esta . En una pregunta anterior sobre máquinas de estado exóticas , Alex ten Brink y Raphael abordaron las capacidades computacionales de un tipo peculiar de máquina de estados: los autómatas de min-montón. Pudieron demostrar que el conjunto de idiomas aceptados por tales …

16 formal-languages  automata  closure-properties 

No tengo claro el uso de las frases lenguaje "infinito" o lenguaje "finito" en la teoría de computadoras. Creo que la raíz del problema es que un lenguaje como es infinito en el sentido de que puede generar un número infinito (pero contable) de cadenas. Sin embargo, todavía puede ser …

16 formal-languages  terminology  regular-languages 

Deje Σ={0,1}Σ={0,1}\Sigma = \{ 0, 1 \} . Un lenguaje L⊆Σ∗L⊆Σ∗L \subseteq \Sigma^* se dice que tiene la propiedad "anti-palíndromo" si para cada cadena www que es un palíndromo, w∉Lw∉Lw\notin L . Además, para cada cadena que no es un palíndromo, o , pero no ambos (!) (Exclusivo o).u ∈ …

15 formal-languages 

En mi libro de texto se menciona que: ∅∗={ϵ}∅∗={ϵ}\emptyset^*=\{\epsilon\} donde ∅∅\emptyset es un idioma vacío. Sin embargo, sabemos que L⋅∅=∅L⋅∅=∅L \cdot \emptyset = \emptyset , donde LLL es cualquier lenguaje. No puedo comprender intuitivamente este concepto porque la operación en estrella de Kleene apunta al hecho de que ∅∗=∅0∪∅1∪∅2∪⋯∅∗=∅0∪∅1∪∅2∪⋯\emptyset^*=\emptyset^0 \cup …

15 formal-languages  kleene-star 

Entonces, básicamente, L satisface las condiciones del lema de bombeo para los CFL pero no es un CFL (eso es posible de acuerdo con la definición del lema).

15 formal-languages  context-free  pumping-lemma 

Esta es una pregunta de seguimiento de esta . En una pregunta anterior sobre máquinas de estado exóticas , Alex ten Brink y Raphael abordaron las capacidades computacionales de un tipo peculiar de máquina de estado: los autómatas de min-montón. Pudieron demostrar que el conjunto de idiomas aceptados por tales …

15 formal-languages  automata  nondeterminism 

¿Existe una caracterización algebraica del número de palabras de una longitud dada en un idioma normal? Wikipedia establece un resultado algo impreciso: Para cualquier lenguaje regular LLL existen constantes λ1,…,λkλ1,…,λk\lambda_1,\,\ldots,\,\lambda_k y polinomiosp1(x),…,pk(x)p1(x),…,pk(x)p_1(x),\,\ldots,\,p_k(x) tal que para cadannn el númerosL(n)sL(n)s_L(n) de palabras de longitudnnn enLLL satisface la ecuación sL(n)=p1(n)λn1+⋯+pk(n)λnksL(n)=p1(n)λ1n+⋯+pk(n)λkns_L(n)=p_1(n)\lambda_1^n+\dotsb+p_k(n)\lambda_k^n . No es …

15 formal-languages  regular-languages  word-combinatorics 

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 recursivos no sensibles al contexto. …

15 formal-languages  complexity-theory  formal-grammars 

Dado un lenguaje , defina el conjunto de longitud de L como el conjunto de longitudes de palabras en L : L S ( L ) = { | u | ∣ u ∈ L }LLLLLLLLLLS(L)={|u|∣u∈L}LS(L)={|u|∣u∈L}\mathrm{LS}(L) = \{|u| \mid u \in L \} ¿Qué conjuntos de enteros pueden ser el …

15 formal-languages  computability  regular-languages  finite-automata 

Usualmente uso el símbolo para una cadena vacía (palabra vacía o cadena nula). Pero sé que algunas personas usan λ en lugar de ε .εε\varepsilonλλ\lambdaεε\varepsilon Creo que se deriva de la palabra "Vacío". Sin embargo, no sé cuál es el origen de λ .εε\varepsilonλλ\lambda En la teoría de autómatas, existe …

14 formal-languages  automata  reference-request  notation  history 

Dado un alfabeto , ¿cuántos idiomas regulares diferentes puede aceptar un autómata finito no determinista de estados?Σ={a,b}Σ={a,b}\Sigma = \{ a,b \}nnn Como ejemplo, consideremos . Luego tenemos configuraciones de transición diferentes y configuraciones de estado inicial y final diferentes, por lo que tenemos un límite superior de idiomas diferentes. Sin …

14 formal-languages  regular-languages  finite-automata  combinatorics 

Trato de enseñarme el uso del bisonte. La página de manual bison (1) dice acerca de bison: Genere un analizador determinista LR o generalizado LR (GLR) empleando tablas LALR (1), IELR (1) o analizador canónico LR (1). ¿Qué es un analizador IELR? Todos los artículos relevantes que encontré en la …

14 formal-languages  terminology  formal-grammars  parsers 

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 …

14 formal-languages  reference-request  terminology  formal-grammars  parsers 

Deje que GGG sea ​​una gramática libre de contexto. Una serie de terminales y no terminales de GGG se dice que es una forma de frase de GGG si se puede obtener mediante la aplicación de las producciones de GGG cero o más veces al símbolo inicial de SSS . …

14 formal-languages  context-free  formal-grammars  closure-properties 

Me pregunto sobre la relación entre la complejidad computacional y la jerarquía de Chomsky, en general. En particular, si sé que algún problema es NP-completo, ¿se deduce que el lenguaje de ese problema no está libre de contexto? Por ejemplo, el problema de la camarilla es NP-completo. ¿Se deduce que …

14 complexity-theory  formal-languages