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...
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,...
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 clase de idiomas regulares está...
Esto está algo relacionado con otra pregunta que hice , pero siento que es lo suficientemente diferente como para justificar su propia pregunta. Estoy investigando donde estoy tratando de encontrar la estructura de los complementos de una determinada clase de lenguajes finitos. Es fácil para mí...
He estado tratando de implementar el algoritmo de Brzozowski, pero acabo de descubrir que crea autómatas subóptimos para una determinada clase de entradas, con un estado más de lo que realmente se necesita en el resultado. Puedo mostrarlo en un autómata trivial: a b a b a b a b a b >0 0 1 rev...
Estoy buscando aplicaciones prácticas de máquinas de estado finito como máquinas DFA, NFA, Moore, Mealy ... Sería útil si alguien señalara ejemplos del kernel de Linux. Sé que DFA se usa en la coincidencia de cadenas como el algoritmo KMP. ¿Cuál es el significado de las máquinas NFA, Moore y...
Así que llevo unos días rascándome la cabeza sobre este problema. Dado un lenguaje y que es regular, demuestre que el lenguaje que consiste en todas las cadenas en cuya longitud es igual a alguna cadena en es un lenguaje regular.AAABBBLLLAAABBB En forma de
Después de mi clase de teoría de la computación de hoy, esta pregunta apareció en mi mente: si un problema puede ser resuelto por un autómata finito, este problema pertenece a P. Creo que es cierto, ya que los autómatas reconocen lenguajes muy simples, por lo tanto, todos estos lenguajes tendrían...
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
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...
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...
Tengo un autómata finito sin estados finales / de aceptación, por lo que F está vacío. ¿Cómo lo minimizo? Obtuve esto en una prueba y no sabía cómo abordar el problema porque el autómata no tenía estados de aceptación. ¿Es un estado inicial único con todas las transiciones en sí mismo la respuesta...
Tengo en unos días un examen y tengo problemas para resolver esta tarea. Dejar LLL ser un lenguaje regular sobre el alfabeto ΣΣ\Sigma. Tenemos la operacion cycle(L)={xy∣x,y∈Σ∗ and yx∈L}cycle(L)={xy∣x,y∈Σ∗ and yx∈L}\operatorname{cycle}(L) = \{ xy \mid x,y\in \Sigma^* \text{ and } yx\in L\} Y...