Preguntas etiquetadas con formal-languages

Estoy empezando a entrar en la teoría de la computación, que estudia qué se puede calcular, qué tan rápido, usando cuánta memoria y con qué modelo computacional. Tengo una pregunta bastante básica, pero realmente espero que algunos de ustedes puedan ayudarme a comprender el concepto detrás de esto: ¿Por qué …

10 complexity-theory  formal-languages 

Describa un idioma normal que no pueda ser aceptado por ningún DFA que tenga solo tres estados. No estoy realmente seguro de por dónde empezar con esto y me preguntaba si alguien podría darme algunos consejos o sugerencias. Entiendo que el lema de bombeo se puede usar para probar que …

10 formal-languages  regular-languages  finite-automata  pumping-lemma 

Suponga que es un lenguaje regular sobre un alfabeto ordenado. ¿Se construye el lenguaje tomando cada palabra en y clasificándola siempre como un lenguaje normal?LLLLLL

10 formal-languages  regular-languages 

¿Es necesario que sea infinito para ser indecidible?L⊆Σ∗L⊆Σ∗L\subseteq \Sigma^* Quiero decir, ¿qué sucede si elegimos un idioma? será una versión limitada finita de , es decir , ( ), con . ¿Es posible que sea ​​un lenguaje indecidible? L′L′L' L⊆Σ∗L⊆Σ∗L\subseteq \Sigma^*|L′|≤N|L′|≤N|L'|\leq NN∈NN∈NN \in \mathbb{N}L′⊂LL′⊂LL' \subset LL′L′L' Veo que hay un …

10 formal-languages  computability  undecidability 

Escriba para la expansión decimal de (sin encabezado ). Deje y ser enteros, con . Considere el lenguaje de las expansiones decimales de los múltiplos de más una constante:n¯n¯\bar nnnn0aaabbba>0a>0a > 0aaa M={ax+b¯¯¯¯¯¯¯¯¯¯¯¯¯¯∣x∈N}M={ax+b¯∣x∈N}M = \{ \overline{a\,x+b} \mid x\in\mathbb{N} \} ¿ M es MMMregular? sin contexto? (Contraste con el lenguaje de …

10 formal-languages  context-free  regular-languages  integers 

Según mi lectura, parece que la mayoría de las gramáticas se preocupan por generar un número infinito de cadenas. ¿Qué pasa si trabajas al revés? Si se le dan n cadenas de m longitud, debería ser posible hacer una gramática que genere esas cadenas y solo esas cadenas. ¿Existe un …

10 formal-languages  regular-languages  formal-grammars  finite-sets 

Sé que los lenguajes que se pueden definir usando expresiones regulares y aquellos reconocibles por DFA / NFA (autómatas finitos) son equivalentes. Tampoco existe DFA para el idioma { 0norte1norteEl | n≥0}{0 0norte1norteEl |norte≥0 0}\{0^n1^n|n \ge 0\} . Pero aún así puede escribirse usando expresiones regulares (para el caso, cualquier …

10 formal-languages  regular-languages  regular-expressions 

La pregunta está más o menos en el título. ¿Hay algún momento en que un lenguaje puede ser aceptado por un DFA mínimo con estados, pero , la reversión de , puede ser aceptado por un DFA con estados, dondeLLLnnnLRLRL^RLLLmmmm&lt;nm&lt;nm<n ?

10 formal-languages  reference-request  automata  finite-automata 

¿Por qué (si es así) el separador ##\# está haciendo una diferencia entre los dos idiomas? Digamos: L={ws:|w|=|s|w,s∈{0,1}∗,w≠s}L={ws:|w|=|s|w,s∈{0,1}∗,w≠s}L=\{ws : |w|=|s|\, w,s\in \{0,1\}^{*}, w \neq s \} L#={w#s:|w|=|s|w,s∈{0,1}∗,w≠s}L#={w#s:|w|=|s|w,s∈{0,1}∗,w≠s}L_{\#}=\{w\#s : |w|=|s|\, w,s\in \{0,1\}^{*}, w \neq s \} Aquí hay una prueba y una gramática que representa LLL como CFLCFLCFL Y debajo estoy …

9 formal-languages  context-free  pumping-lemma 

Hace poco me preguntaba qué pasaría si permitiéramos que las gramáticas sin contexto tengan un número infinito de reglas. Claramente, si permitiéramos arbitrariamente tales conjuntos infinitos de reglas, cada lenguaje sobre algún alfabeto Σ podría describirse mediante un CFG G = ( { S } , Σ , R , …

9 formal-languages  context-free  formal-grammars 

Por lo general, veo que en la representación semántica operacional estructural para el ciclo while, el estado del programa no cambia: (whileBdoS,σ)→(ifBthenS;(whileBdoS)elseSKIP,σ)(whileBdoS,σ)→(ifBthenS;(whileBdoS)elseSKIP,σ)(while \> B \> do \>S, \sigma) \rightarrow (if \>B \> then \>S; (while \> B \> do \>S) \> else \> SKIP, \sigma) Para mí, esto no es …

9 formal-languages  programming-languages  formal-methods  operational-semantics 

Pienso en los idiomas unarios , donde L k es un conjunto de todas las palabras cuya longitud es la suma de k cuadrados. Formalmente: L k = { a n ∣ n = k ∑ i = 1 n i 2 ,LkLkL_kLkLkL_kkkk Es fácil demostrar que L 1 = …

9 formal-languages  regular-languages 

Un lenguaje formal sobre un alfabeto es un subconjunto de , es decir, un conjunto de palabras sobre ese alfabeto. Dos lenguajes formales y son iguales, si los conjuntos correspondientes son extensionalmente iguales como subconjuntos de . Uno puede usar lenguajes en la teoría de la complejidad para formalizar el …

9 complexity-theory  formal-languages  reference-request 

Estoy buscando una gramática sensible al contexto que describa el siguiente lenguaje: .L = { w w ∣ w ∈ { a , b }∗, | w | ≥ 1 }L={ww∣w∈{una,si}∗,El |wEl |≥1}L = \{ ww \mid w ∈ \{a,b\}^{\ast}, |w| ≥ 1\} Tengo problemas con el hecho de que …

9 formal-languages  formal-grammars  context-sensitive 

Recientemente, hice una pregunta sobre Math SE. Ninguna respuesta todavia. Esta pregunta está relacionada con esa pregunta, pero más detalles técnicos hacia la informática. Dados dos DFA y donde el conjunto de estados, el alfabeto de entrada y la función de transición de y son iguales, los estados iniciales y …

9 formal-languages  reference-request  finite-automata