Maquina de estado finito