Transim: simulação de tráfego urbano para dispositivos móveis, baseado em autômatos celulares

Abstract

ResumoEste trabalho de pesquisa resultou em uma aplicação WEB para manipulação de autômatos finitos e gramáticas regulares, tendo como base os algoritmos utilizados no software AFLAB. O software AFLAB apresentava alguns problemas que inviabilizaram sua utilização em sala de aula, como módulos não integrados, necessidade de instalação de mais de uma versão, não ter a opção de representar uma transição de um estado para o mesmo, não possuir setas nas arestas, complexidade na inserção de uma gramática regular e de um autômato finito na forma tabular. Foi então definido como objetivo desta pesquisa desenvolver uma aplicação WEB de manipulação de autômatos finitos e gramáticas regulares, baseado nos algoritmos utilizados no AFLAB, integrando os módulos e disponibilizando uma interface gráfica interativa para manipulação dos elementos. Na busca dos objetivos foi feito um estudo sobre os autômatos finitos, autômatos finitos com saída e as gramáticas regulares, além de uma análise nos algoritmos implementados no AFLAB. Foi desenvolvido então um aplicativo WEB onde o usuário pode desenhar autômatos finitos, testar sentenças, fazer a transformação de AFND para AFD, minimizar, gerar AF através de uma GR e gerar GR através de um AF. Ainda foi incluída a criação de máquinas de Mealy ou Moore, podendo fazer a simulação das maquinas com imagens como saída relacionada às transições (Mealy) ou aos estados (Moore). Por fim, temos uma aplicação WEB com um ambiente bastante interativo e de fácil utilização, que serve como um apoio no estudo de linguagens formais.