TEORÍA DE AUTÓMATAS Y LENGUAJES FORMALES Práctica 3

Transcripción

1 TEORÍA DE AUTÓMATAS Y LENGUAJES FORMALES Práctica 3 1. Equivalencia entre autómatas 1.1. Equivalencia entre AFD y AFN 1.1. Equivalencia entre AFD y AFλ 2. Ejercicios propuestos 1. Equivalencia entre autómatas 1.1 Equivalencia entre AFD y AFN La equivalencia entre AFD y AFN es clara entendiendo todo AFD como un caso particular de un AFN. En el otro sentido, a partir un AFN A=(Q,Σ, δ,q 0,F) se puede construir otro AFD A'=(Q',Σ, δ', q 0 ', F') equivalente (que acepte el mismo lenguaje), de la siguiente forma: Q' = 2 Q q 0 ' = F' = { q' Q' q' F δ'(q',a) = (q q') δ(q,a) : q' Q, a Σ Figura 1. Autómata finito no determinista del ejemplo 1. Ejemplo 1. Dado el autómata de la figura 1, el proceso de construcción de un AFD equivalente parte del estado inicial, y determina el conjunto de estados alcanzables

2 con cada símbolo del alfabeto. De esta forma, por ejemplo, al considerar el símbolo a se alcanzan los estados, q 1, q 2. Cada uno de los conjuntos de estados que aparezcan se considera como uno de los estados del AFD equivalente, determinandose para cada uno de ellos su función de transición. El proceso se repite mientras aparezcan nuevos estados. La figura 2 muestra la tabla de transiciones del AFD. a b c {q 1 {q 2 {q 1 {q 2 {q 1 {q 1 {q 2 {q 2 {q 2 Figura 2. Tabla de transiciones del AFD equivalente al AFN de la figura 1 a partir de esta tabla el diagrama de transiciones queda como muestra la figura 3. Figura 3. Autómata finito determinista equivalente. Ejemplo 2. Dado el AFN de la figura 4 la tabla de transiciones del AFD equivalente sería la mostrada en la figura 5, con lo que el diagrama de transiciones del AFD quedaria como se muestra en la figura 6

3 Figura 4. AFN ejemplo. a b Figura 5. Tabla de transiciones del AFD equivalente al AFN de la figura 4. Figura 6. AFD equivalente al AFN de la figura. El estado es el único estado final del AFD porque es el único que contiene el estado q 2, estado final del AFN original. 1.2 Equivalencia entre AFD y AFλ A partir de todo autómata finito no determinista con λ-transiciones A=(Q,Σ, δ,q 0,F), se puede construir un AFD equivalente. Para ello seguiremos los siguientes pasos: 1. Obtener un AFN A'=(Q,Σ,δ', q 0, F') donde: F' = F, si λ-clausura(q 0 ) F F' = F, si λ-clausura(q 0 ) F =. δ'(q,a) = τ(q,a) tomando a Σ, x Σ*, q Q y donde: τ(q,λ) = λ-clausura(q)

4 τ(q,xa) = λ-clausura ( (p τ(q,x)) δ(p,a)) de esta forma A' no posee λ-transiciones. 2. A partir del AFN obtenido, aplicar el método de la sección 1.1 para obtener un AFD a partir de un AFN. Figura 7. Ejemplo de autómata finito con transiciones vacias Ejemplo 3. Dado el AFλ de la figura 7, representamos en la figura 8 su tabla de transiciones y la λ-clausura de cada estado. a b λ- clausura q 0 {q 2 q1 {q 1 {q 3 q 2 {q 1 {q 2 q 3 Figura 8. Tabla de transiciones y λ-clausura de cada estado del AFλ de la figura 7. Para obtener el conjunto de transiciones del AFN equivalente aplicaremos la construcción indicada al principio de la sección. Por ejemplo, para obtener el conjunto de

5 transiciones del estado q 0 con el símbolo b en el AFN equivalente: partiremos de la λ-clausura de q 0 ( ) obtendremos los estados que se alcanzan a partir de utilizando una b ({q 2 {q 3 ) obtendremos la λ-clausura de este conjunto: λ-clausura({q 2 ) = =, q 2, q 3 Procediendo de igual forma para todo q Q y todo a Σ, obtenemos la tabla de transiciones del AFN sin transiciones vacias que se muestra en la figura 9. En este AFN, el único estado final es q 3 porque λ-clausura(q 0 ) F =. Una vez obtenida la tabla de transiciones del AFN, se puede construir el AFD equivalente que queda como muestra la figura 10. a b q 0 q 1 q 2 q 3 Figura 9. Tabla de transiciones del AFN equivalente al AFλ de la figura 7.

6 Figura 10. Autómata finito determinista equivalente al AFλ de la figura 7. Ejemplo 4. Otro ejemplo de AFλ es el mostrado en la figura 11. Figura 11. Autómata finito con transiciones vacías. La tabla de transiciones y la λ-clausura de cada estado del autómata de la figura 11 se muestran en la figura λ- clausura q 0 {q 1 q 1 {q 3 {q 1 q 2 {q 3 {q 2 q 3 {q 3 {q 3

7 Figura 12. Tabla de transiciones y λ-clausura de cada estado en el AFλ de la figura 11. Como ejemplo del paso a AFN, para obtener el conjunto de transiciones del estado q 1 con el símbolo a: partiremos de la λ-clausura de q 1 ({q 1 ) obtendremos los estados que se alcanzan a partir de {q 1 utilizando una a (conjunto vacio) λ-clausura( ) = El AFN resultado tiene como estados finales, q 3 porque en este caso λ-clausura(q 0 ) F. Al repetir el proceso para cada estado se obtiene la tabla de transiciones de la figura 13. A partir de ella, se puede obtener el AFD de la figura q 0 {q 3 q 1 {q 3 q 2 {q 3 q 3 {q 3 Figura 13. Tabla de transiciones del AFN equivalente al AFλ de la figura 11 Figura 14.Autómata finito determinista equivalente al AFλ de la figura Ejercicios propuestos Ejercicio 1. Diseñar un módulo en Mathematica que reciba un AFN y devuelva un AFD equivalente al introducido.

8 Ejercicio 2. Diseñar un módulo en Mathematica para calcular la λ-clausura de un estado de un autómata. Ejercicio 3. Sirviéndose del ejercicio 2, diseñar un módulo para calcular la λ-clausura de un conjunto de estados. Ejercicio 4. Diseñar un módulo en Mathematica que reciba un AFλ y devuelva un AFD equivalente al introducido. Solución al ejercicio 2 (* lambda clausura de un estado *) lc[q_,a_]:=module[{xrevisar,lclausura,est,trans, (* inicializacion *) lclausura={q; xrevisar={q; (* mientras queden estados por comprobar... *) While[xrevisar =!={, (*... considerar el primero de ellos... *) est=first[xrevisar]; xrevisar=rest[xrevisar]; (*... y las transiciones vacias que parten de él *) trans=cases[a[[3]],{est,{,_]; (* Para todas ellas... *) For[i=1,i<=Length[trans],i++, (*... si se alcanza un nuevo estado... *) If[!MemberQ[lclausura,trans[[i,3]]], (*... se almacena para considerarlo *) AppendTo[lclausura,trans[[i,3]]]; AppendTo[xrevisar,trans[[i,3]]] ] ] ]; Return[Union[lclausura]]; ]