Diferença entre automatos
Merge branch '14.2' of github.com:diegolw/Formais into 14.2