Programa que minimiza los estados de una autómata finito determinista.