$next_state = $machine->run($state, $event);