Elisaul Morillo Elvin E.

Arias

12-0477 12-0810

Es un modelo que realiza cmputos en forma automtica sobre una entrada para producir una salida. Diseado para aceptar y reconocer algunos smbolos. El AF es una maquina para todos los tamaos, los circuitos y las decisiones en arboles usan diferentes maquinas.

La w es aceptado mientras cambie de un estado a otro y es denegado si no es aceptado.

= define los estados. = define el alfabeto. = es la funcin de transicin. = es el estado de inicio. = es el estado de aceptacion o finalizacin.