Preguntas etiquetadas con finite-automata

Se dice que la intersección de un lenguaje libre de contexto L con un lenguaje regular M siempre está libre de contexto. Entendí la prueba de construcción de productos cruzados, pero todavía no entiendo por qué es libre de contexto pero no regular. El lenguaje generado por tal intersección tiene …

16 regular-languages  context-free  finite-automata  formal-grammars 

Recientemente se hizo una pregunta interesante y posteriormente se eliminó. Para un lenguaje normal , su complejidad DFA es el tamaño del DFA mínimo que lo acepta, y su complejidad NFA es el tamaño del NFA mínimo que lo acepta. Es bien sabido que existe una separación exponencial entre las …

15 regular-languages  finite-automata 

El algoritmo de minimización de DFA de Brzozowski crea un DFA mínimo para DFA GGG de la siguiente manera: invirtiendo todos los bordes en GGG , haciendo que el estado inicial sea un estado de aceptación, y los estados de aceptación iniciales, para obtener un NFA N′N′N' para el lenguaje …

15 algorithms  finite-automata  runtime-analysis 

Dado un lenguaje , defina el conjunto de longitud de L como el conjunto de longitudes de palabras en L : L S ( L ) = { | u | ∣ u ∈ L }LLLLLLLLLLS(L)={|u|∣u∈L}LS(L)={|u|∣u∈L}\mathrm{LS}(L) = \{|u| \mid u \in L \} ¿Qué conjuntos de enteros pueden ser el …

15 formal-languages  computability  regular-languages  finite-automata 

Tengo esta pregunta [algo graciosa] en mente. ¿Por qué el autómata finito no determinista se llama no determinista mientras definimos las transiciones para las entradas? Bueno, aunque hay transiciones múltiples y épsilon , están definidas, lo que significa que la máquina es determinista para esas transiciones. Lo que significa que …

14 finite-automata  nondeterminism 

Dado un alfabeto , ¿cuántos idiomas regulares diferentes puede aceptar un autómata finito no determinista de estados?Σ={a,b}Σ={a,b}\Sigma = \{ a,b \}nnn Como ejemplo, consideremos . Luego tenemos configuraciones de transición diferentes y configuraciones de estado inicial y final diferentes, por lo que tenemos un límite superior de idiomas diferentes. Sin …

14 formal-languages  regular-languages  finite-automata  combinatorics 

Sé que podemos minimizar los DFA al encontrar y fusionar estados equivalentes, pero ¿por qué no podemos hacer lo mismo con los NFA? No estoy buscando una prueba ni nada de eso, a menos que una prueba sea más fácil de entender. Solo quiero entender intuitivamente por qué la minimización …

14 complexity-theory  finite-automata  nondeterminism 

Quiero saber si el siguiente problema es decidible: Instancia: un NFA A con n estados Pregunta: ¿Existe algún número primo p tal que A acepte alguna cadena de longitud p. Creo que este problema es indecidible, pero no puedo probarlo. El decisor puede tener fácilmente un algoritmo para determinar si …

14 computability  finite-automata 

Estoy estudiando lenguajes formales y sistemas de bases de producción (sistemas de bases de reglas) y estoy un poco confundido acerca de por qué estas dos palabras "producción" y "regla" significan lo mismo en tantos contextos en informática. En inglés no parecen significar lo mismo. No soy hablante nativo de …

13 formal-languages  terminology  automata  finite-automata  formal-grammars 

Mañana es mi presentación y quiero aclarar mis conceptos ... He leído que en DFA, "Para cada estado, se debe definir la transición en todos los símbolos posibles (alfabeto)". ¿Es obligatorio para cada estado definir la transición en todos los símbolos posibles en DFA? Si no es así, ¿puede dar …

13 automata  finite-automata  nondeterminism 

Acabo de empezar a leer sobre teoría de la computación. Si comparamos cuál es más poderoso (al aceptar cadenas), ambos son iguales. ¿Pero qué hay de la eficiencia? DFA será rápido en comparación con NFA, ya que solo tiene una ventaja saliente y no habrá ambigüedad. Pero en el caso …

13 finite-automata  efficiency  nondeterminism 

Soy un programador con control sobre los autómatas, pero no sobre la lógica. Leí en periódicos que los dos están estrechamente relacionados. Los autómatas finitos deterministas (DFA), los autómatas de árbol y los autómatas visiblemente pushdown están todos relacionados con la lógica monádica de segundo orden (MSO). Aunque entiendo que …

13 automata  finite-automata  logic  coq  automated-theorem-proving 

El objetivo es crear DFA a partir de una expresión regular y usar "Exp. Regular> NFA> Conversión de DFA" no es una opción. ¿Cómo debería uno hacer eso? Le hice esta pregunta a nuestro profesor, pero él me dijo que podemos usar la intuición y amablemente se negó a dar …

12 automata  finite-automata  regular-expressions  simulation 

En la imagen a continuación, estoy tratando de averiguar qué es exactamente lo que esta NFA está aceptando. Lo que me confunde es el salto en .q 0ϵϵ\epsilonq0q0q_0 Si se ingresa un , ¿el sistema se mueve a y (el estado de aceptación)?q 0 q 1000q0q0q_0 q1q1q_1 Si se ingresa …

12 automata  finite-automata  nondeterminism 

Me pregunto, ¿cuál es la complejidad temporal de determinar el vacío para los DFA de 2 vías? Es decir, autómatas finitos que pueden moverse hacia atrás en su cinta de entrada de solo lectura. Según Wikipedia, son equivalentes a los DFA, aunque el DFA equivalente podría ser exponencialmente más grande. …

12 complexity-theory  formal-languages  reference-request  automata  finite-automata