Execução de autómatos deterministas