Automatas finito no deterministico
-
Upload
hector-santillan -
Category
Documents
-
view
92 -
download
6
Transcript of Automatas finito no deterministico
![Page 1: Automatas finito no deterministico](https://reader035.fdocuments.es/reader035/viewer/2022062406/55b843e6bb61eb23488b463c/html5/thumbnails/1.jpg)
Automatas Finito no Deterministico
Universidad IberoamericanaIngeniería en TIC
Héctor Santillán 12-0902Kenia Adames 12-0855
![Page 2: Automatas finito no deterministico](https://reader035.fdocuments.es/reader035/viewer/2022062406/55b843e6bb61eb23488b463c/html5/thumbnails/2.jpg)
Concepto• Es un autómata en el que con una entrada se puede dirigir hacia
varios estados.
• Dichos autómatas se componen de (Q, donde Q es la totalidad de estados, la sumatoria el alfabeto, q0 el estado inicial y F, el o los estados de finalización.
![Page 3: Automatas finito no deterministico](https://reader035.fdocuments.es/reader035/viewer/2022062406/55b843e6bb61eb23488b463c/html5/thumbnails/3.jpg)
Palabras aceptadas
Los autómatas finitos pueden ser utilizados para reconocer ciertas palabras y diferenciarlas de otras palabras. Decimos que un AFD reconoce o acepta una palabra si se cumplen las siguientes condiciones: 1. Se consumen todos los caracteres de dicha palabra de entrada, siguiendo las transiciones y pasando en consecuencia de un estado a otro; 2. Al terminarse la palabra, el estado al que llega es uno de los estados finales del autómata (los que tienen doble círculo en los diagramas, o que son parte del conjunto F en la representación formal).
![Page 4: Automatas finito no deterministico](https://reader035.fdocuments.es/reader035/viewer/2022062406/55b843e6bb61eb23488b463c/html5/thumbnails/4.jpg)
El concepto de lenguaje aceptado es una simple extensión de aquel de palabra aceptada.
Definición.- El lenguaje aceptado por una máquina M es el conjunto de palabras aceptadas por dicha máquina.
Nótese que tampoco acepta la palabra vacía ε. Para que un AFD acepte ε se necesita que el estado inicial sea también final.
![Page 5: Automatas finito no deterministico](https://reader035.fdocuments.es/reader035/viewer/2022062406/55b843e6bb61eb23488b463c/html5/thumbnails/5.jpg)
Diagramas• Los diagramas de transición de los AFND son totalmente
análogos a los de los autómatas determinísticos. Solo que ahora no tiene que salir de cada vértice un y solo un arco para cada símbolo del alfabeto de entrada. En un autómata no determinístico, de un vértice pueden salir una, ninguna o varias flechas con la misma etiqueta
![Page 6: Automatas finito no deterministico](https://reader035.fdocuments.es/reader035/viewer/2022062406/55b843e6bb61eb23488b463c/html5/thumbnails/6.jpg)
Un ejemplo sería
![Page 7: Automatas finito no deterministico](https://reader035.fdocuments.es/reader035/viewer/2022062406/55b843e6bb61eb23488b463c/html5/thumbnails/7.jpg)
Ejemplo
![Page 8: Automatas finito no deterministico](https://reader035.fdocuments.es/reader035/viewer/2022062406/55b843e6bb61eb23488b463c/html5/thumbnails/8.jpg)
Transiciones• Se llama transición λ a aquélla que hace que el autómata
cambie de estado sin consumir ningún símbolo de entrada. El símbolo λ , que representa la palabra vacía, se utiliza para representar la entrada consumida en estas transiciones
![Page 9: Automatas finito no deterministico](https://reader035.fdocuments.es/reader035/viewer/2022062406/55b843e6bb61eb23488b463c/html5/thumbnails/9.jpg)
![Page 10: Automatas finito no deterministico](https://reader035.fdocuments.es/reader035/viewer/2022062406/55b843e6bb61eb23488b463c/html5/thumbnails/10.jpg)
Sobre la visualizacion
Visualmente se pode observar lo siguiente:
• Dos estados serán compatibles si todos los arcos que salen de dichos estados llegan a estados del mismo grupo
• Que no se mezclen en un mismo grupo estados finales y no finales del autómata original.
![Page 11: Automatas finito no deterministico](https://reader035.fdocuments.es/reader035/viewer/2022062406/55b843e6bb61eb23488b463c/html5/thumbnails/11.jpg)
Estados inaccesibles
![Page 12: Automatas finito no deterministico](https://reader035.fdocuments.es/reader035/viewer/2022062406/55b843e6bb61eb23488b463c/html5/thumbnails/12.jpg)
Ejemplo
![Page 13: Automatas finito no deterministico](https://reader035.fdocuments.es/reader035/viewer/2022062406/55b843e6bb61eb23488b463c/html5/thumbnails/13.jpg)
Representación
![Page 14: Automatas finito no deterministico](https://reader035.fdocuments.es/reader035/viewer/2022062406/55b843e6bb61eb23488b463c/html5/thumbnails/14.jpg)
Referencias • http://www2.dis.ulpgc.es/~mluengo/automatas• ww.cs.buap.mx/~iolmos/.../4_Automatas• webdiis.unizar.es/asignaturas/