Adicionadas funções de compactação de autômatos: elas alteram
 o domínio do conjunto de estados para algum subconjunto dos inteiros
 na forma {0, 1, 2, ..., n-1};
Adicionado método em Math::Function para aplicação em todo um conjunto.
Remoção de código duplicado em compaction.h.