Máquina de estado finito

En Inglés: «finite state machine».

Máquina de estado finito es un modelo informático consistente en un número finito de estados y transiciones entre estos estados, posiblemente con acciones anexas. [IEEE 610]