O Simulador de Autômatos é uma ferramenta para a criação, simulação e conversão de modelos formais, desenvolvida com o objetivo de auxiliar o aprendizado de Linguagens Formais e Autômatos.
Ele reconhece e simula os modelos abaixo:
Autômatos Finitos Determinístos;
Autômatos Finitos Não-Determinísticos;
Autômatos com Pilha;
Máquinas de Turing;
Gramáticas Regulares.
Também realiza as seguintes conversões entre formalismos:
AFD -> AFN;
AF -> GR;
GR -> AF.
A figura abaixo representa a arquitetura da ferramenta, ilustrando as funcionalidades citadas acima.
O Simulador de Autômatos foi desenvolvido como projeto de Iniciação Científica (disciplina de Teoria da Computação) e depois continuado como Trabalho de Conclusão de Curso (em Engenharia da Computação), na Universidade de Uberaba - UNIUBE.
Título do projeto:
Ambiente para Auxilio ao Ensino de Linguagens Formais e Autômatos
Aluno autor:
Neilton Gonçalves Ribeiro Junior
Professores orientadores:
Daniela Resende Silva Orbolato
.: Download :.
Para fazer o download do Simulador de Autômatos, acesse a página Downloads.
.: Avaliação :.
Deixe sua opinião sobre o Simulador de Autômatos na página Avaliação da ferramenta.
.: Contato :.
Para comentários, sugestões ou relatórios de erros, acesse a página Contato.