Autômatos finitos

Os autômatos finitos, também conhecidos como máquinas de estado ou FSM (máquinas de estado finito), são um modelo matemático de computação usado no projeto de programas de computador e circuitos lógicos sequenciais. Em geral, um autômato finito (singular) é uma máquina que faz a transição de um estado para outro. Ele reage com uma sequência predefinida de comportamentos quando encontra um determinado evento.

Por exemplo, uma catraca de estação de metrô é um exemplo de máquina de estado finito. Quando um passageiro deposita a tarifa necessária na máquina, a máquina muda de um estado predefinido (bloqueado) para outro (desbloqueado), permitindo que o passageiro entre.