Preguntas etiquetadas con automata

La lógica temporal lineal y los autómatas deterministas de Büchi son incomparables: DBA no puede expresar y LTL no puede expresar "al menos cada letra impar es 'a'" . Pero a veces es interesante saber si el lenguaje de un DBA se puede expresar en LTL.FGaFGaFGa Necesito un algoritmo que …

10 logic  automata  linear-temporal-logic  buchi-automata 

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 

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 

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 

He estado leyendo algunos documentos de teoría del lenguaje formal y me he encontrado con un término que no entiendo. El documento a menudo se referirá a un conjunto que está "efectivamente cerrado bajo intersección" u otras operaciones. ¿Qué significa "efectivamente" aquí? ¿Cómo difiere esto del cierre normal? Como referencia, …

9 formal-languages  terminology  computability  automata  closure-properties 

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 …

8 regular-languages  automata  finite-automata  nondeterminism 

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, n2mod4n2mod4n^2 mod 4o …

8 formal-languages  regular-languages  automata  finite-automata 

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 …

8 complexity-theory  automata  finite-automata  polynomial-time 

Dado un DFA, A, deje que L (A) denote el número de palabras que A acepta. Creo que es fácil calcular L (A): traducir la codificación de A a una expresión regular. Si la estrella de Kleene aparece en algún lugar de la expresión, el lenguaje es infinito. De lo …

8 regular-languages  automata  regular-expressions 

No he podido encontrar un gráfico que represente o un texto que responda a la siguiente pregunta: ¿Existe una relación directa entre la complejidad de un algoritmo (como el mejor / peor caso de clasificación rápida) y la clase de autómatas que pueden implementar el algoritmo. Por ejemplo, ¿hay un …

8 complexity-theory  automata  reference-request  complexity-classes 

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

8 automata  finite-automata 

¿Es posible minimizar los autómatas pushdown? Si no, ¿por qué? ¿Es porque para minimizar las clases de equivalencia deben tener un índice finito y no podemos garantizarlo para CFG?

8 computability  automata  pushdown-automata