¿Cuál de las siguientes afirmaciones es correcta? existen condiciones suficientes y necesarias sobre la regularidad de un idioma pero aún no se han descubierto. No hay una condición suficiente y necesaria sobre la regularidad de un idioma. El lema de bombeo es una condición necesaria para...
¿Existe un algoritmo / procedimiento sistemático para evaluar si un idioma es regular? En otras palabras, dado un idioma especificado en forma algebraica (piense en algo como ), pruebe si el idioma es regular o no. Imagine que estamos escribiendo un servicio web para ayudar a los estudiantes con...
Dados dos conjuntos de cadenas sobre el alfabeto , ¿podemos calcular el autómata determinista de estado finito (DFA) más pequeño de modo que y ?A , BUN,siA,BΣΣ\SigmaMETROMETROMA ⊆ L ( M)UN⊆L(METRO)A \subseteq L(M)L ( M) ⊆ Σ∗∖ BL(METRO)⊆Σ∗∖siL(M) \subseteq \Sigma^*\setminus B En otras palabras,...
Me preguntaba, ya que una∗a∗a^* es en sí mismo un lenguaje sin estrellas, ¿existe un lenguaje normal que no sea un idioma sin estrellas? ¿Podrías dar un ejemplo? (de wikipdia ) Lawson define lenguajes sin estrellas como: Se dice que un lenguaje regular no tiene estrellas si puede describirse...
Por ejemplo, sé que el lenguaje no regular anbnanbna^nb^n está en AC0AC0AC^0 . Me gustaría saber más ejemplos como
Una expresión regular se define de forma recursiva como para algunos a ∈ Σ es una expresión regular,aaaa∈Σa∈Σa \in \Sigma es una expresión regular,εε\varepsilon es una expresión regular,∅∅\emptyset donde R 1 y R 2 son expresiones regulares es una expresión regular,(R1∪R2)(R1∪R2)(R_1 \cup...
En el trabajo, se me ha encomendado la tarea de inferir cierta información sobre un lenguaje dinámico. Reescribo secuencias de declaraciones en letexpresiones anidadas , así: return x; Z => x var x; Z => let x = undefined in Z x = y; Z => let x = y in Z if x then T else F; Z => if x...
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
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...
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}...
O al menos generar un conjunto de cadenas que una NFA acepta, para que pueda alimentarlo a la otra NFA. Si hago una búsqueda en cada ruta de la NFA, ¿funcionará? Aunque eso llevará mucho
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 un idioma...
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 método conocido...
Estoy trabajando en el Libro Sipser (2ª edición) y encontré este ejemplo, que no entiendo. En el libro dice que este NFA acepta la cadena vacía, ϵϵ\epsilon . ¿Podría alguien explicarme por qué este es el caso? Tengo entendido que ϵϵ\epsilon se moverá a q3q3q_3 que no es un estado de...
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...
He comenzado a estudiar autómatas no deterministas utilizando el libro de Hopcroft y Ullman . Estoy atrapado en un problema que me pareció muy interesante: Dé un autómata finito no determinista que acepte todas las cadenas que tienen el mismo valor cuando se evalúan de izquierda a derecha como...
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 = { a n 2 ∣ n ∈ N 0 } no es regular (p. Ej. Con Pumping-Lemma). Además, sabemos que...
Hice mi examen de teoría de la computación hace unas semanas, y esta fue una de las preguntas: Asumir lenguajeL={(anbm)r∣n,m,r≥0}L={(anbm)r∣n,m,r≥0}L=\{(a^nb^m)^r \mid n,m,r\ge 0\} ¿L es regular? En caso afirmativo, proporcione una expresión regular o un autómata para ello. Después de...
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...
Podemos formar DFA aceptando números binarios divisibles por .nnn Por ejemplo, DFA que acepta números binarios divisibles por 2 se puede formar de la siguiente manera: Del mismo modo, DFA que acepta números binarios divisibles por 3 se puede formar de la siguiente manera: Podemos seguir un...