Gramáticas regulares e expressões regulares: um ambiente de manipulação no AFLABS

Abstract

O AFLAB é um software que permite a construção de autômatos finitos determinísticos e não determinísticos em sua forma gráfica ou tabular, permitindo ainda o reconhecimento de sentenças por meio destes autômatos. Este trabalho apresenta uma continuação do AFLAB e consta da adição de dois módulos nesta ferramenta: um para transformação de expressões regulares em autômato finito e o outro para obtenção de autômato finito a partir de gramáticas regulares. Contudo, para que estes novos módulos pudessem ser implementados, foi necessário primeiramente fazer um estudo acerca de autômatos finitos, gramáticas regulares, expressões regulares, bem como sobre os algoritmos presentes na literatura que realizam a transformação desejada entre os formalismos. Este trabalho traz também a descrição dos módulos adicionados, detalhes sobre a implementação e demonstra suas funcionalidades. De uma forma geral os novos módulos funcionam perfeitamente, atendendo as expectativas e mantendo as características iniciais do AFLAB, com textos explicativos e interface simples e fácil de utilizar.