AUTOMATA FINITO DETERMINISTA O AFD Un autmata finito o mquina de estado finito es un modelo matemtico de un sistema que recibe una

cadena constituida por smbolos de un alfabeto y determina si esa cadena pertenece al lenguaje que el autmata reconoce. Un autmata finito determinista es una quntupla que denotaremos de manera genrica Por M = (Q,,q0,,F) donde: Q es un conjunto finito cuyos elementos llamaremos estados. es un alfabeto que llamamos alfabeto de entrada. q0 Q es un estado sealado que llamamos estado inicial. F es un subconjunto de Q no vaco, cuyos elementos llamamos estados finales. es una aplicacin de QQ , que llamamos funcin de transicin. La funcin de transicin es la verdadera clave de la mquina. Obsrvese que es una aplicacin, as cada pareja posible formada por un estado y un smbolo del alfabeto debe tener una imagen y slo una, es decir (q,a) Q ,cualesquiera que sean q Q y a . Un autmata es:

Correcto: que las palabras aceptadas por el AFD cumplan las especificaciones, es decir, que no sobren palabras. Completo: que toda palabra que cumpla las especificaciones sea aceptada por el AFD, es decir, que no falten palabras.

DIAGRAMA DE ESTADOS O DIAGRAMA DE TRANSICIN

Un diagrama de estados de un autmata es un grafo dirigido, donde: Los nodos representan a estados del AFD (cada nodo es etiquetado con el nombre del estado) y se usa para representar hasta qu estado se ha analizado hasta el momento Los arcos representan a transiciones entre los estados Cada arco lleva una etiqueta que indica qu smbolo de entrada provoca la transicin correspondiente Si es necesario distinguir al estado inicial, se marca con una generalmente representado con q0 Los estados finales son designados con un doble circulo y

a
Ejemplo: El lenguaje que acepta el AFD est formado por todas las cadenas sobre el alfabeto = {a, b}, siempre y cuando terminen con a. b a a YANIN ARIAS TORRES 229380

q0

q1