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/