Ambiente de criação e manipulação de autômatos finitos na forma gráfica ou tabular para o reconhecimento de sentenças

Abstract

Este trabalho apresenta o desenvolvimento de um software que tem como finalidade permitir a construção de Autômatos Finitos Determinísticos e Não Determinísticos tanto em sua forma gráfica quanto na forma tabular. Para isto foi feito um estudo sobre Autômatos Finitos Determinísticos e Não Determinísticos, suas linguagens, suas equivalências e as suas duas formas de representação (Tabular e Gráfica). O presente trabalho ainda aborda as técnicas para implementação de autômatos finitos que permitem o reconhecimento de sentenças. O trabalho traz a descrição da ferramenta desenvolvida e a metodologia aplicada para seu desenvolvimento, bem como o algoritmo que permite o reconhecimento de sentenças tanto para um Autômato Finito Determinístico (AFD) como também para um Autômato Finito Não Determinístico (AFND) sem a necessidade de transformações ou minimização dos mesmos.