Preguntas etiquetadas con finite-automata

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 tiempo.

10 algorithms  regular-languages  finite-automata 

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 nuestro robot …

10 automata  finite-automata  artificial-intelligence 

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, dondeLLLnnnLRLRL^RLLLmmmm&lt;nm&lt;nm<n ?

10 formal-languages  reference-request  automata  finite-automata 

¿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? n2n2n2^nnnn

10 automata  finite-automata 

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 …

9 regular-languages  finite-automata  nondeterminism 

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 …

9 automata  finite-automata 

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 sobre lo que NFA puede hacer que …

9 automata  finite-automata  education 

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 procedimiento bien definido …

9 regular-languages  automata  finite-automata  regular-expressions 

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 …

9 turing-machines  finite-automata  pushdown-automata  computation-models  nondeterminism 

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 mal?

9 turing-machines  finite-automata 

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 …

9 algorithms  finite-automata  randomness  pseudo-random-generators  random-graphs 

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 iniciales y …

9 formal-languages  reference-request  finite-automata 

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 …

9 formal-languages  context-free  finite-automata  closure-properties  pushdown-automata 

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 de …

9 formal-languages  automata  regular-languages  finite-automata  nondeterminism 

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 ahora, pensé en: usando el lema de bombeo de …

9 formal-languages  regular-languages  finite-automata