Modelo de comportamiento integrado por un número finito de estados, de transiciones entre esos estados, y de acciones.