Adicionadas funções que computam a união, interseção e subtração de
autômatos finitos determinísticos.