Automatas finito no deterministico
-
Upload
hector-santillan -
Category
Documents
-
view
91 -
download
6
Transcript of Automatas finito no deterministico
Automatas Finito no Deterministico
Universidad IberoamericanaIngeniería en TIC
Héctor Santillán 12-0902Kenia Adames 12-0855
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.
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).
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.
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
Un ejemplo sería
Ejemplo
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
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.
Estados inaccesibles
Ejemplo
Representación
Referencias • http://www2.dis.ulpgc.es/~mluengo/automatas• ww.cs.buap.mx/~iolmos/.../4_Automatas• webdiis.unizar.es/asignaturas/