Autômatos finitos com saída: um ambiente de criação e manipulação das máquinas de Moore e Mealy no AFLAB

Abstract

O presente trabalho apresenta uma pesquisa sobre autômatos finitos com saída, máquinas de Mealy e Moore. Essa se iniciou por um estudo detalhado nas máquinas de estados finitos, autômatos finitos (determinísticos e não determinísticos), máquinas de Mealy e Moore, e também uma análise sobre a ferramenta AFLAB, que já possuía os módulos de autômatos finitos para reconhecimento de sentenças, tanto na forma gráfica quanto na forma tabular. Pelo fato do AFLAB não possuir os módulos de Mealy e Moore foram desenvolvidos, neste trabalho, os presentes módulos, que permitem utilizar autômatos finitos determinísticos e transformá-los em uma máquina de Mealy ou de Moore, para simulação de saídas em Textos, Imagens ou Sons, por meio de uma sentença válida. Por fim, são apresentadas as etapas de desenvolvimento desses módulos, mostrando como foram projetados e qual foi a metodologia utilizada para implementação dos mesmos. Como resultado, obteve-se uma versão do AFLAB com as máquinas de Mealy e Moore implementadas, onde a partir de um autômato finito determinístico consegue-se simular a saída na forma escolhida.