Manipulação de autômatos finitos no AFLAB

Abstract

Esse projeto é uma continuação do projeto do AFLAB, onde nesse módulo se desenvolve a minimização de autômatos finitos determinísticos, geração da gramática regular e transformação de autômato finito não determinístico em determinístico. Para alcançar estes objetivos foi realizado um estudo sobre os autômatos finitos determinísticos e não determinísticos, compreendendo seus conceitos, suas características e equivalências. Este projeto ainda aborda as técnicas de minimização de estados de um autômato finito determinístico, a possibilidade de representação de um autômato por meio da gramática e as etapas do processo de determinar um autômato finito não determinístico. Finalizando este trabalho são descritas as características da ferramenta desenvolvida, metodologia utilizada no seu desenvolvimento e os algoritmos que permitem a realização dos objetivos propostos.