2. Es un modelo que realiza cómputos en forma
automática sobre una entrada para producir
una salida.
Diseñado para aceptar y reconocer algunos
símbolos.
El AF es una maquina para todos los tamaños,
los circuitos y las decisiones en arboles usan
diferentes maquinas.
3. La w es aceptado mientras cambie de un estado
a otro y es denegado si no es aceptado.
4. = define los estados.
= define el alfabeto.
= es la función de transición.
= es el estado de inicio.
= es el estado de aceptacion o
finalización.