Transim: simulação de tráfego urbano para dispositivos móveis, baseado em autômatos celulares
| Título | Transim: simulação de tráfego urbano para dispositivos móveis, baseado em autômatos celulares | pt_BR |
| Autor | Pizzolo, Filipe de Betio | |
| Orientador | Vieira, Christine | |
| Resumo / Abstract | Este 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. | pt_BR |
| Data de publicação | 2015-07 | |
| Tipo | Trabalho de Conclusão de Curso - TCC | pt_BR |
| Idioma | pt_BR | pt_BR |
| Palavras-chave | Autômatos finitos | pt_BR |
| Palavras-chave | Gramáticas regulares | pt_BR |
| Palavras-chave | Linguagens formais | pt_BR |
| Descrição | Trabalho de Conclusão de Curso, apresentado para obtenção de grau Bacharel no curso de Ciência da Computação da Universidade do Extremo Sul Catarinense, UNESC. | pt_BR |
| Data de depósito | 2026-05-22T19:11:29Z | |
| Data de disponibilização | 2026-05-22T19:11:29Z | |
| URI | http://repositorio.unesc.net/handle/1/12611 | |
| Cobertura espacial | Universidade do Extremo Sul Catarinense | pt_BR |
| Data de criação | 2015-07 |