4. Importando e exportando arquivos no formato JFLAP

JFLAP é um software que permite criação e visualização de autômatos. Com o intuito de facilitar a construção de autômatos, a aplicação dá suporte à importação e exportação desses arquivos, que é viabilizada pela conversão JFLAP para JSON e vice versa. No menu superior da tela inicial, as opções Importar Arquivo JFLAP e Exportar para Formato JFLAP são responsáveis pelas funcionalidades citadas, sendo que a primeira converte o arquivo em JFLAP para JSON e mostra o resultado na primeira caixa de texto, pronto para ser convertido normalmente pelo programa, e a segunda e última converte o output da conversão dos autômatos em arquivo JFLAP, assim o usuário pode visualizar no software JFLAP o AFD resultante.

Na figura acima, temos um autômato finito não determinístico (arquivo eg01.jff) desenvolvido no JFLAP. Vamos traduzi-lo para um AFD equivalente utilizando o AutomataTranslator.

Para isso, você deve executar o AutomataTranslator, clicar no menu Arquivo e selecionar a opção Importar arquivo JFLAP e navegue até a pasta models/jflap/ para selecionar o arquivo eg01.jff

Ao abrir o arquivo, você pode clicar no botão Converter para iniciar o processo de tradução para AFD equivalente. Uma mensagem informará que o processo ocorreu bem.

Para melhor visualização, você pode abrir a Tabela de Transições selecionando essa opção no menu Arquivo