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...
Dejar METROMETROM ser un NFA acíclico. Ya que METROMETROM es acíclico L ( M)L(METRO)L(M) es finito Podemos calcular El | L(M) |El |L(METRO)El ||L(M)| en tiempo polinomial? Si no, ¿podemos aproximarlo? Tenga en cuenta que el número de palabras no es el mismo que el número de rutas de...
Según este gráfico , los DCFL se cierran por reversión. Sin embargo, no estoy convencido de que la prueba intuitiva (que invierte las flechas de la máquina de estados finitos de control y cambie los empujes y estallidos) para esto parece depender del no determinismo en la elección de la transición...
Quiero preguntar exactamente cuál es la relación entre problemas e idiomas. Sabemos que el conjunto de todos los idiomas incontables. ¿El conjunto de problemas también es incontable? ¿Puede cada problema ser definido por un idioma? ¿Puede un idioma resolver más de un problema y viceversa? ¿Existe...
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....
L:={w∈{0,1}∗|L:={w∈{0,1}∗|L := \{w \in \{0,1\}^* | la longitud de es impar 1 está en el medio dewww∧∧ \wedge w}w}w\} Entonces el alfabeto es . Mi problema es que no puedo hacer un seguimiento de la igualdad de caracteres antes y después de . Un DFA limitado para la longitud inferior a...
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...
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í...
Pregunta: ¿Hay algún texto introductorio en lenguaje formal o teoría del lenguaje de programación que discuta cómo aplicarlo al estudio de la notación óptima? En particular, estoy interesado en aprender qué son los lenguajes de pila, los árboles de análisis y los índices, y cómo predecir cuándo un...
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,...
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) Sin embargo, no estoy seguro de cómo formalizar esta intuición. Una cosa...
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...
Estoy tratando de atacar a TAOCP una vez más, dada la gran pesadez literal de los volúmenes que tengo problemas para comprometerme en serio. En TAOCP 1 Knuth escribe, página 8, conceptos básicos :: Dejar AAAser un conjunto finito de letras. DejarA∗A∗A^* ser el conjunto de todas las cadenas en...