Trabalho para a disciplina: Métodos Formais e Autômatos(2015.2)
automaton-afd-minimization
Leitor de autômatos ADF + Minimização
Bibliotecas Utilizadas
- JGraph/mxGraph ---> https://github.com/jgraph
AFD reader with minimization
Leitor de autômatos ADF + Minimização