Un autómata es un modelo matemático para una máquina de estado finito (FSM sus siglas en inglés).