Arquivos closureProperties.h e compaction.h movidos para automaton/;
Adicionado arquivo automaton/decisionProcedures.h, que contém operações
 que testam equivalência, finitude e complementaridade entre autômatos.
Adicionado teste de unidade para decisionProcedures.h.