Uma máquina de estados finita pode ser otimizada utilizando-se o algoritmo de minimização de Hopcroft.
