Preguntas etiquetadas con regular-languages

Dado cualquier lenguaje regular infinito , ¿cómo puedo probar que puede dividirse en 2 idiomas regulares infinitos disjuntos ? Esto es: , , y y son ambos tanto infinito y regular.LLLLLLL1,L2L1,L2L_1, L_2L1∪L2=LL1∪L2=LL_1 \cup L_2 = LL1∩L2=∅L1∩L2=∅L_1 \cap L_2 = \varnothingL1L1L_1L2L2L_2 Hasta ahora, pensé en: usando el lema de bombeo de …

9 formal-languages  regular-languages  finite-automata 

En nuestro curso de conceptos de lenguaje de programación, nuestro instructor afirmó que está bien que un estado final conduzca a otro estado en un diagrama de estado finito. Pero esto parece ser un concepto fundamentalmente contradictorio. Debido a que un estado final por definición es uno que termina las …

8 formal-languages  graphs  regular-languages  finite-automata 

Considere la secuencia . Parece "regular" de una manera que, por ejemplo, no lo es.s1= ( 1 , 0 , 1 , 0 , ... )s1=(1,0 0,1,0 0,...)s_1 = (1, 0, 1, 0,\dots)s2= ( 1 , 2 , 3 , 4 , ... )s2=(1,2,3,4 4,...)s_2 = (1, 2, 3, 4,\dots) …

8 formal-languages  regular-languages 

Actualmente estoy leyendo el libro Introducción a la teoría de la computación (2da o 3ra ed.) De Michael Sipser , y me he topado con una pregunta en el Capítulo 1 - Lenguajes regulares , es decir, cuando el autor presenta la idea de prueba del Teorema 1.49 - "La …

8 regular-languages  automata  finite-automata  nondeterminism 

Tengo problemas para tratar de determinar si todos los números cuadrados (1, 4, 9, 16, ...) escritos en forma binaria (1, 100, 1001, ...) son un lenguaje regular. Después de algunos intentos de encontrar un patrón común de esos números, descubrí que para cualquier número cuadrado n2n2n^2, n2mod4n2mod4n^2 mod 4o …

8 formal-languages  regular-languages  automata  finite-automata 

Esto es algo que no pude encontrar, pero siempre me pareció interesante que el lema de bombeo sea solo un lema (especialmente porque tiene el mismo nombre para idiomas normales, idiomas libres de contexto, etc.) ¿Para qué es un lema?

8 complexity-theory  regular-languages  finite-automata 

Dado un DFA, A, deje que L (A) denote el número de palabras que A acepta. Creo que es fácil calcular L (A): traducir la codificación de A a una expresión regular. Si la estrella de Kleene aparece en algún lugar de la expresión, el lenguaje es infinito. De lo …

8 regular-languages  automata  regular-expressions 

En clase, nuestro profesor nos mostró 3 métodos para probar la no regularidad: Teorema de Myhill-Nerode Lema de bombeo para idiomas regulares Prueba de no regularidad, basada en la complejidad de Kolmogorov Ahora, los dos primeros, el teorema de Myhill-Nerode y el lema de Pumping, lo entendí bien y también …

8 formal-languages  regular-languages  proof-techniques  kolmogorov-complexity 

Cuando miro las pruebas para bombear lema , tengo la sensación de que a menudo me falta la intuición detrás de la condición | xy | ≤ p. ¿Cuál es exactamente la razón detrás de esta condición? Toda la literatura que he echado un vistazo es silenciosa (sin pruebas, sin …

8 formal-languages  regular-languages  pumping-lemma 

Básicamente, mi pregunta se da en tres idiomas A, B y L, donde L es A y B concatenados juntos y se demuestra que B no es regular, ¿es posible encontrar una A que haga L regular?

8 formal-languages  regular-languages 

Tenemos dos idiomas: . Sabemos que es un lenguaje regular, por lo que mi pregunta es si es regular.L1,L2L1,L2L_1,L_2L1L2L1L2L_1L_2L2L1L2L1L_2L_1 Trato de encontrar una manera de demostrarlo ... No puedo suponer, por supuesto, que son regulares ... Así que busco una forma de demostrarlo. L1,L2L1,L2L_1,L_2 Me gustaría obtener alguna pista! ¡Gracias!

8 formal-languages  regular-languages  closure-properties 

Deje , donde y para todo .L={an∣n≥0}L={an∣n≥0}L = \{a^n \mid n \ge 0\}a0=ϵa0=ϵa^0 = \epsilonan=an−1aan=an−1aa^n = a^{n-1}an≥1n≥1n \ge 1 Por lo tanto, consiste en secuencias de de todas las longitudes, incluida una secuencia de longitud . Deje ser cualquier subconjunto infinito de . Necesito mostrar que siempre existe un DFA …

8 formal-languages  regular-languages  closure-properties 

Como he estudiado, decidir la regularidad de los lenguajes libres de contexto es indecidible. Sin embargo, podemos probar la regularidad utilizando el teorema de Myhill-Nerode que proporciona una condición necesaria y suficiente. Entonces el problema debería ser decidible. ¿Dónde está mi error?

8 formal-languages  computability  regular-languages  undecidability 

Deje que sea ​​un lenguaje regular. Pruebalo:LLL L+−−={w:∃u|u|=2|w|∧wu∈L}L+−−={w:∃u|u|=2|w|∧wu∈L}L_{+--}=\left\{w: \exists_u |u|=2|w| \wedge wu\in L\right\} L++−={w:∃u2|u|=|w|∧wu∈L}L++−={w:∃u2|u|=|w|∧wu∈L}L_{++-}=\left\{w: \exists_u 2|u|=|w| \wedge wu\in L \right\} L−+−={w:∃u,v|u|=|w|=|v|∧uwv∈L}L−+−={w:∃u,v|u|=|w|=|v|∧uwv∈L}L_{-+-}=\left\{w:\exists_{u,v} |u|=|w|=|v| \wedge uwv\in L\right\} son regulares y: L+−+={uv:∃w|u|=|w|=|v|∧uwv∈L}L+−+={uv:∃w|u|=|w|=|v|∧uwv∈L}L_{+-+}=\left\{ uv:\exists_w |u|=|w|=|v| \wedge uwv\in L \right\} No es regular. Me parece muy difícil. Supongo que 1-3 son similares (pero puedo estar …

8 regular-languages 

Dejar LLLser un lenguaje normal Es el idiomaL2={y:∃x,z s.t.|x|=|z| and xyz∈L}L2={y:∃x,z s.t.|x|=|z| and xyz∈L}L_2 = \{y : \exists x,z\ \ s.t.|x|=|z|\ and\ xyz \in L \} ¿regular? Sé que es muy similar a la pregunta aquí , pero el problema es que no es una simple subcadena de una palabra …

8 formal-languages  regular-languages  closure-properties