Convertendo AFND para AFD

Tive que implementar, para a disciplina de Análise de Algoritmos, um conversor de autômato finito não-determinístico para autômato finito determinístico. Disponibilizo o programa que implementei em java para download. A implementação é bem simples, sem orientação a objetos propriamente dita, apenas uma classe com alguns métodos. O importante é que funcionou. Importante salientar que não foi implementada a conversão de estados vazios.

Ao iniciar o programa, algumas opções já vêm pré-preenchidas, como os estados, o alfabeto, o estado inicial, um estado final e a função de transição de um autômato, ilustrado na figura abaixo. O único campo que precisa ser informado é a seqüência de entrada. Primeiramente deve ser executada a conversão, clicando-se no botão "Converter para AFD". Depois clica-se em "Executar" para verificar se a entrada é aceita ou rejeitada. Por exemplo, para o AFND padrão (pré-preenchido) a entrada 010101 resultará em rejeição e a entrada 0101010 será aceita.

Abraços

Atualizado em 14/02/2011: O link para download do programa foi corrigido.