Automata Finito No Determinista
-
Upload
jean-bernard -
Category
Technology
-
view
626 -
download
2
description
Transcript of Automata Finito No Determinista
![Page 1: Automata Finito No Determinista](https://reader036.fdocuments.net/reader036/viewer/2022062313/557b1ed9d8b42a71798b4647/html5/thumbnails/1.jpg)
Autómatas Finitos No Deterministas
(AFND)Jean Marino Bernard
13-0860
![Page 2: Automata Finito No Determinista](https://reader036.fdocuments.net/reader036/viewer/2022062313/557b1ed9d8b42a71798b4647/html5/thumbnails/2.jpg)
Concepto
• En los autómatas deterministas sabemos exactamente cuál es la transición que debemos llevar a cabo ante una determinada situación. Sin embargo, en los no deterministas podemos encontrarnos con varias opciones e, incluso, con λ-transiciones que se realizan sin considerar el correspondiente símbolo de la cadena de entrada.
![Page 3: Automata Finito No Determinista](https://reader036.fdocuments.net/reader036/viewer/2022062313/557b1ed9d8b42a71798b4647/html5/thumbnails/3.jpg)
Definición
• AFND=(Σ,Q,f,q0,F,T), f:Q×Σ−→2Q donde:
1. 2Q es el conjunto formado por los subconjuntos de Q, incluyendo a Ø
2. T es una relación binaria definida sobre Q que indica las λ-transiciones del auto ́mata (si pTq ⇒ existe una λ-transición desde p hasta q)
![Page 4: Automata Finito No Determinista](https://reader036.fdocuments.net/reader036/viewer/2022062313/557b1ed9d8b42a71798b4647/html5/thumbnails/4.jpg)
Representación
Es evidente que un AFD no es más que un caso particular de AFND, es decir, AFD ⊂ AFND.
![Page 5: Automata Finito No Determinista](https://reader036.fdocuments.net/reader036/viewer/2022062313/557b1ed9d8b42a71798b4647/html5/thumbnails/5.jpg)
AFD vs. AFND
•En realidad, un AFD es un AFND que cumple:
T=Id y |f(q,a)|=1 ∀q∈Q,∀a∈Σ
![Page 6: Automata Finito No Determinista](https://reader036.fdocuments.net/reader036/viewer/2022062313/557b1ed9d8b42a71798b4647/html5/thumbnails/6.jpg)
Lenguaje Aceptado por un AFND
• El lenguaje aceptado por un AFND es el conjunto de todas las cadenas de símbolos terminales que pueden hacer que el AFND llegue a un estado final de aceptación.
• El lenguaje aceptado por el AFND es:
L(AFND)={x∈Σ∗/f(q0,x)∩F=Ø}
![Page 7: Automata Finito No Determinista](https://reader036.fdocuments.net/reader036/viewer/2022062313/557b1ed9d8b42a71798b4647/html5/thumbnails/7.jpg)
Simulación de un AFD
• Para detallar el algoritmo de simulación de un AFND, supondremos que tenemos implementadas las siguientes funciones:
• f(R,a) = ∪q∈Rf(q,a), siendo R ⊂ Q y a ∈ Σ
• λ − clausura(R), siendo R ⊂ Q
![Page 8: Automata Finito No Determinista](https://reader036.fdocuments.net/reader036/viewer/2022062313/557b1ed9d8b42a71798b4647/html5/thumbnails/8.jpg)
Simulación de un AFD
![Page 9: Automata Finito No Determinista](https://reader036.fdocuments.net/reader036/viewer/2022062313/557b1ed9d8b42a71798b4647/html5/thumbnails/9.jpg)
Paso de un AFND a AFD
• Los AFND y los AFD tienen el mismo poder computacional (esto no ocurre en otros niveles de la jerarquía de los autómatas), es decir, pueden resolver los mismos problemas.
![Page 10: Automata Finito No Determinista](https://reader036.fdocuments.net/reader036/viewer/2022062313/557b1ed9d8b42a71798b4647/html5/thumbnails/10.jpg)
Paso de un AFND a AFD
AFND
AFD
![Page 11: Automata Finito No Determinista](https://reader036.fdocuments.net/reader036/viewer/2022062313/557b1ed9d8b42a71798b4647/html5/thumbnails/11.jpg)
Ejemplos AFND
![Page 12: Automata Finito No Determinista](https://reader036.fdocuments.net/reader036/viewer/2022062313/557b1ed9d8b42a71798b4647/html5/thumbnails/12.jpg)
Ejemplos AFND