Editor de Autômatos Finitos - Projeto Pesquisa

Minimizaçãode um AutômatoFinitoAlgoritmopara minimização de autômatos finitos determinísticossticos:a) elimina os estados inacessíveis e suas correspondentes transições;b) altera a função programa em total, introduzindo um estado não final Φ eincluindo Φ como estado destino das transições não previstas;c) unifica os estados equivalentes, sendo que dois estados são ditos s equivalentesse e somente se para qualquer seqüência de símbolos sresultamsimultaneamente em estados finais ou estados não-finais tambémequivalentes entre si;d) elimina os estados mortos.2/2