automatas

1. Autómata
Un autómata es un modelo computacional que consiste en un
conjunto de estados bien definidos, un estado inicial, un alfabeto
de entrada y una función de transición. Este concepto es
equivalente a otros, como autómata finito o máquina de estados
finitos

2. • Los autómatas son una representación formal muy útil, que
permite modelar el comportamiento de diferentes dispositivos,
máquinas, programas, etc. Maquinas expendedoras de
refrescos El comportamiento de un programa (software) El
comportamiento de semaforos … Considere un sistema
formado por una lámpara y un interruptor.

3. Autómata finito