Un algoritmo de minimización de AFD es el siguiente: