Preguntas etiquetadas con pumping-lemma

¿El siguiente contexto de lenguaje es gratuito? L={uxvy∣u,v,x,y∈{0,1}+,|u|=|v|,u≠v,|x|=|y|,x≠y}L={uxvy∣u,v,x,y∈{0,1}+,|u|=|v|,u≠v,|x|=|y|,x≠y}L = \{ uxvy \mid u,v,x,y \in \{ 0,1 \}^+, |u| = |v|, u \neq v, |x| = |y|, x \neq y\} Como señaló sdcvvc, una palabra en este lenguaje también se puede describir como la concatenación de dos palabras de la misma …

26 formal-languages  context-free  pushdown-automata  pumping-lemma  open-problem 

Wikipedia tiene la siguiente definición del lema de bombeo para idiomas regulares ... Deje que sea ​​un lenguaje regular. Entonces existe un número entero ≥ 1 que depende solo de modo que cada cadena en de longitud al menos ( se llama "longitud de bombeo") se puede escribir como = …

20 formal-languages  regular-languages  pumping-lemma  finite-sets 

Estoy tratando de usar el lema de bombeo para demostrar que no es regular.L={(01)m2m∣m≥0}L={(01)m2m∣m≥0}L = \{(01)^m 2^m \mid m \ge0\} Esto es lo que tengo hasta ahora: suponga que es regular y deje que p sea ​​la longitud de bombeo, entonces w = ( 01 ) p 2 p . …

19 formal-languages  regular-languages  pumping-lemma 

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 

Me preguntaba cuándo los idiomas que contenían el mismo número de instancias de dos subcadenas serían regulares. Sé que el idioma que contiene el mismo número de 1s y 0s no es regular, pero es un lenguaje como , donde L = { w ∣ número de instancias de la …

14 formal-languages  regular-languages  pumping-lemma 

Tengo el siguiente idioma { 0yo1j2k∣ 0 ≤ i ≤ j ≤ k }{0i1j2k∣0≤i≤j≤k}\qquad \{0^i 1^j 2^k \mid 0 \leq i \leq j \leq k\} Estoy tratando de determinar en qué clase de idioma Chomsky encaja. Puedo ver cómo se podría hacer usando una gramática sensible al contexto, así que …

11 formal-languages  context-free  formal-grammars  pumping-lemma 

El lema de bombeo para los idiomas regulares se puede usar para demostrar que ciertos idiomas no son regulares, y el lema de bombeo para los idiomas sin contexto (junto con el lema de Ogden) se puede usar para demostrar que ciertos idiomas no están libres de contexto. ¿Existe un …

11 context-free  proof-techniques  pumping-lemma 

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 

¿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 

Dado un lenguaje , ¿cómo puedo decir directamente, sin mirar las reglas de producción, que este lenguaje no es regular?L = { anortesinorteCnorte}L={anbncn} L= \{a^n b^n c^n\} Podría usar el lema de bombeo, pero algunos chicos dicen simplemente mirando la gramática que este no es uno normal. ¿Como es posible?

9 formal-languages  regular-languages  pumping-lemma  intuition 

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 

Se sabe que existe una propiedad de "bombeo" (las palabras de cierta longitud implican la existencia de bucles en el mecanismo de definición del lenguaje) para los lenguajes regulares y libres de contexto y algunos más (generalmente utilizados para refutar la pertenencia de un idioma a una determinada clase) ) …

8 formal-languages  pumping-lemma  context-sensitive 

Es el idioma L={0n1m∣n and m are co-prime}L={0n1m∣n and m are co-prime} L = \{0^n 1^m \mid n \text{ and } m \text{ are co-prime}\} sin contexto? Supongo que no está libre de contexto porque parece demasiado complicado para que un PDA decida si 2 números son primos o no. …

8 formal-languages  context-free  pumping-lemma  pushdown-automata 

Tengo dos preguntas: Considero que el siguiente idioma En otras palabras, no es palíndromo con una longitud uniforme. Probé que este lenguaje NO es regular al demostrar que su complemento no es regular. Mi pregunta es cómo probarlo usando el lema de bombeo sin usar el complemento.L1={w∈{0,1}∗∣∄u∈{0,1}∗:w=uuR}.L1={w∈{0,1}∗∣∄u∈{0,1}∗:w=uuR}.L_1= \{ w\in \{0,1\}^* …

8 formal-languages  regular-languages  pumping-lemma 

Muestra esa L = {unanorte2El | n≥0}L={unanorte2El |norte≥0 0}L=\{a^{n^2} | n \geq 0\} no es regular Hola chicos. Estoy tomando una clase de CS y estas cosas son realmente nuevas para mí, así que tengan paciencia conmigo. Traté de mirar si obtengo alguna contradicción al usar el lema de bombeo …

8 regular-languages  pumping-lemma