Estados: módulo para a representações dos estados de um autómato.
Estados
Execução de autómatos não deterministas com transições codificadas como tabelas de Hash para conjuntos de estados
Sestado: módulo para conjuntos de estados
Sestado