Execução de autómatos não deterministas com transições codificadas como tabelas de Hash para conjuntos de estados