Implementação de DFAs e ENFAs configuráveis em Java

Abstract

Este artigo teve como objetivo desenvolver, de acordo com a teoria computacional, uma aplicação que serve de auxílio no ensino e aprendizagem da disciplina de linguagens formais e autômatos, do curso de ciência da computação. Sendo usada para reconhecer autômatos finitos determinísticos e autômatos finitos não-determinísticos configuráveis para qualquer linguagem regular, a aplicação recebe como entrada um arquivo de texto com os modelos especificados e gera os autômatos que representam essas linguagens, bem como o teste de aceitação de determinadas cadeias fornecidas pelo usuário.