Menu

Language

Links

Sobre o projeto



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:

Professores orientadores:



.: 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.


 



Sign in  |  Recent Site Activity  |  Terms  |  Report Abuse  |  Print page  |  Powered by Google Sites