El documento describe el proceso de conversión de un autómata finito no determinista (AFN) a un autómata finito determinista (AFD). Se presenta un ejemplo de un AFN y se muestra cada paso del proceso de conversión, incluyendo la eliminación de ambigüedades, la agregación de estados de aceptación y la construcción del AFD resultante.
Portafolio unidad 2 [Lenguajes y autómatas]- Expresiones y lenguajes regularesHumano Terricola
Materia de lenguajes y autómatas 1 del Tecnológico de Tepic, maestra Sonia. Si llevas la materia de autómatas con Sonia, copienselo y rólenlo a sus amigos.
Portafolio unidad 2 [Lenguajes y autómatas]- Expresiones y lenguajes regularesHumano Terricola
Materia de lenguajes y autómatas 1 del Tecnológico de Tepic, maestra Sonia. Si llevas la materia de autómatas con Sonia, copienselo y rólenlo a sus amigos.
Este material didáctico fue desarrollado para la asignatura de Tópicos Avanzados de Programación, del plan SCD-1027 2016 de Ing. En Sistemas Computacionales
Un autómata finito no determinista (abreviado AFND) es un autómata finito que, a diferencia de los autómatas finitos deterministas (AFD), posee al menos un estado q ∈ Q, tal que para un símbolo a ∈ Σ del alfabeto
Este material didáctico fue desarrollado para la asignatura de Tópicos Avanzados de Programación, del plan SCD-1027 2016 de Ing. En Sistemas Computacionales
Un autómata finito no determinista (abreviado AFND) es un autómata finito que, a diferencia de los autómatas finitos deterministas (AFD), posee al menos un estado q ∈ Q, tal que para un símbolo a ∈ Σ del alfabeto
7. AFN b 1 b NO ES DETERMINISTA, PUES DESDE EL ESTADO 1 SALEN DOS ARCOS ETIQUETADOS CON b
8. AFN b 2 1 a a b 3 Y DESDE EL ESTADO 2 SALEN DOS ARCOS ETIQUETADOS CON a.
9. AFN b 2 1 a a b 3 El Estado Inicial seguirá siendo el mismo.
10. F’ colección de subconjuntos de S AFN b 2 1 a a b 3 F’ es la colección de subconjuntos de S (estados de S’) que contienen, por lo menos, un estado de F (cada uno de los estados de S’ dentro de los cuales hay al menos un estado de aceptación de M).
11. F’ colección de subconjuntos de S AFN 1-2 1-2-3 1-3 2 1 2-3 3 En éste caso serán todos los subconjuntos que tengan el estado 3, ya que este es el único estado de aceptación del diagrama original; F’= {3, 1-3, 2-3, 1-2-3}
12. F’ colección de subconjuntos de S AFN 1-2 1-2-3 1-3 2 1 2-3 a λ b 3 +vacío: Se agrega el estado vacío. Éste era el estado de captación global, por lo que se le dibujan tantos arcos que salen e inciden en cada estado, como símbolos del alfabeto haya, con los cuales se rotulan. En este estado, van a incidir todas aquellas transiciones que no existían para algún símbolo en algún estado original.
13. F’ colección de subconjuntos de S AFN 1-2 1-2-3 1-3 b 2 1 2-3 a a λ b 3 + Estado 1.- Con la etiqueta a no hay transición en el original, por lo tanto el arco se dibuja hacia el estado vacío; con la etiqueta b salen dos arcos, uno hacia el estado 2 y otro al estado 3, por lo tanto el arco se dibuja al estado 2-3
14. F’ colección de subconjuntos de S AFN 1-2 1-2-3 a 1-3 b 2 1 2-3 b a a a λ b b 3 + Estado 2.- Con la etiqueta b no hay transición en el original, por lo tanto el arco se dibuja hacia el estado vacío; con la etiqueta a salen dos arcos, uno hacia el estado 1 y otro al estado 3, por lo tanto el arco se dibuja al estado 1-3. + Estado 3.- Con ninguna de las dos etiquetas hay transición en el original, por lo tanto se dibujan sendos arcos hacia el estado vacío.
15. F’ colección de subconjuntos de S AFN 1-2 a 1-2-3 b a 1-3 b 2 1 2-3 b a a a λ b b 3 + Estado 1-2.- Con la etiqueta a hay transición desde el estado 2 original al 1 y 3 original, por lo tanto el arco se dibuja hacia el estado 1-3; con la etiqueta b salen dos arcos desde el estado 1 original, uno hacia el estado 2 y otro al estado 3, por lo tanto el arco se dibuja al estado 2-3.
16. F’ colección de subconjuntos de S AFN 1-2 a 1-2-3 b a b 1-3 b 2 1 a 2-3 b a a a λ b b 3 + Estado 1-3.- Con la etiqueta a no hay transición desde ninguno de los dos estados originales, por lo tanto el arco se dibuja hacia el estado vacío; con la etiqueta b salen dos arcos desde el estado 1 original, uno hacia el estado 2 y otro al estado 3, por lo tanto el arco se dibuja al estado 2-3.
17. F’ colección de subconjuntos de S AFN 1-2 a 1-2-3 b a b 1-3 b a 2 1 2-3 a b a b a a λ b b 3 + Estado 2-3.- Con la etiqueta a hay transición desde el estado 2 original al 1 y 3 original, por lo tanto el arco se dibuja hacia el estado 1-3; con la etiqueta b no sale ningún arco en ninguno de los dos estados originales, por lo tanto el arco se dibuja al estado vacío.
18. F’ colección de subconjuntos de S AFN a 1-2 a 1-2-3 b a b b 1-3 b a 2 1 a 2-3 b a b a a λ b b 3 + Estado 1-2-3.- Con la etiqueta a hay transición desde el estado 2 original al 1 y 3 original, por lo tanto el arco se dibuja hacia el estado 1-3; con la etiqueta b salen dos arcos desde el estado 1 original, uno hacia el estado 2 y otro al estado 3, por lo tanto el arco se dibuja al estado 2-3.
19. F’ colección de subconjuntos de S AFD a 1-2 a 1-2-3 b a 1-3 b b b a 2 2-3 1 a b a b a a λ 3 b b Una vez que hemos terminado todos los pasos, podremos eliminar aquellos estados que sean superfluos al diagrama que acabamos de obtener. En nuestro caso particular podemos eliminar los estados 2, 3, 1-2 y 1-2-3, quedando el definitivo autómata finito determinista.
20. F’ colección de subconjuntos de S AFD a a b a 1-3 b b b a 2-3 1 a b a b a a λ b b Una vez que hemos terminado todos los pasos, podremos eliminar aquellos estados que sean superfluos al diagrama que acabamos de obtener. En nuestro caso particular podemos eliminar los estados 2, 3, 1-2 y 1-2-3, quedando el definitivo autómata finito determinista.
21. F’ colección de subconjuntos de S AFD 1-3 b b a 2-3 1 a a b a λ b Una vez que hemos terminado todos los pasos, podremos eliminar aquellos estados que sean superfluos al diagrama que acabamos de obtener. En nuestro caso particular podemos eliminar los estados 2, 3, 1-2 y 1-2-3, quedando el definitivo autómata finito determinista.
22. AFD 1-3 b b a 2-3 1 a a b a λ b Una vez que hemos terminado todos los pasos, podremos eliminar aquellos estados que sean superfluos al diagrama que acabamos de obtener. En nuestro caso particular podemos eliminar los estados 2, 3, 1-2 y 1-2-3, quedando el definitivo autómata finito determinista.
23. AFN AFD 1-3 b b b 2-3 2 a 1 1 a a a b a b a λ b 3