Estoy aprendiendo cómo convertir NFA a DFA y quiero asegurarme de que lo estoy haciendo bien. Obviamente, retroceder en la otra dirección no es una cosa. ¿Alguien sabe de un algoritmo para verificar que un DFA es equivalente a un
Hay una manera de realizar un análisis difuso (acepta cadenas incluso con errores tipográficos a una cierta distancia de edición), con un DFA y un Autómata Levenshtein construido en tiempo de ejecución de la palabra de entrada. ¿Se puede hacer algo similar con un analizador Earley? Me resulta...
El algoritmo de Brzozowski se puede extender a los autómatas de Moore, pero su complejidad temporal es exponencial en general. ¿Hay algún otro algoritmo para minimizar los autómatas de Moore? ¿Cuáles son los tiempos de ejecución de estos algoritmos si los
Estaba jugando con la demostración de Google Blocky's Maze , y recordé la vieja regla de que si quieres resolver un laberinto, solo mantén la mano izquierda en la pared. Esto funciona para cualquier laberinto conectado de forma simple y puede implementarse mediante un transductor finito. Deje que...
¿Cómo puedo construir un ejemplo de un DFA que tiene estados donde el NFA equivalente tiene estados? Obviamente, el conjunto de estados del DFA debe contener todos los subconjuntos del conjunto de estados del NFA, pero no sé cómo comenzar. ¿Alguna sugerencia para ponerme en el camino correcto?...
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
La pregunta está más o menos en el título. ¿Hay algún momento en que un lenguaje puede ser aceptado por un DFA mínimo con estados, pero , la reversión de , puede ser aceptado por un DFA con estados,
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...
Considere una máquina de estados finitos como de costumbre, pero en cada transición, también puede actualizar un contador entero sumando o restando un número. Digamos, una función de transición de la forma mueve al nuevo estado p , y agrega k al contador, donde k ∈ Z (entonces k puede ser...
DFA, NFA y epsilon NFA los tres nos permiten representar un lenguaje regular particular. Con cualquiera de esas representaciones podemos llegar a la misma expresión regular, entonces ¿por qué necesitamos estudiar las tres formas de representación de autómatas finitos? Puede haber alguna explicación...
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...
Hay un teorema que dice que: Dado un autómata de estado finito que tiene estados, si existe una cadena cuya longitud satisface entonces el lenguaje aceptado por el autómata es infinito.nortenortenwwwn ≤ | w | ≤ 2 n - 1norte≤El |wEl |≤2norte-1n \leq |w| \leq 2n-1 Entiendo la restricción El | w...
Deje una cadena de entrada como . Luego, si un NFA se encuentra actualmente en el estado r (y ha leído la entrada hasta el alfabeto w i ), antes de leer el siguiente símbolo de entrada, el NFA se divide en dos NFA, uno en el estado r y otro en s , si hay una transición del tipo r ϵ → s . Si hay un...
Parece recordar de una clase de pregrado que para una máquina de Turing con una cinta finita siempre existirán los autómatas estatales finitos correspondientes, pero no he podido encontrar esto confirmado en ningún lugar de Internet. ¿Es este realmente el caso o estoy recordando...
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...
Estoy generando DFA aleatorios para probar un algoritmo de reducción de DFA en ellos. El algoritmo que estoy usando en este momento es el siguiente: para cada estado , para cada símbolo en el alfabeto , agregue a algún estado aleatorio. Cada estado tiene la misma probabilidad de convertirse en un...
Recientemente, hice una pregunta sobre Math SE. Ninguna respuesta todavia. Esta pregunta está relacionada con esa pregunta, pero más detalles técnicos hacia la informática. Dados dos DFA y donde el conjunto de estados, el alfabeto de entrada y la función de transición de y son iguales, los estados...
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...
Estoy atrapado resolviendo el siguiente ejercicio: Argumenta que si tiene contexto y es regular, entonces (es decir, el cociente correcto ) no tiene contexto.R L / R = { w ∣ ∃ x ∈ RLLLRRRL / R = { w ∣ ∃ x ∈ RS tw x ∈ L }L/R={w∣∃x∈Rs.twx∈L}L / R = \{ w \mid \exists x \in R \;\text{s.t}\; wx \in L\}...
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...