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