Algoritmo de redução de autômatos finitos determinísticos