Simulador de autômatos e máquinas de turing

Abstract

O reconhecimento de sentenças por mecanismos reconhecedores tais como autômatos finitos, autômatos de pilha e máquinas de Turing é um dos assuntos mais importantes das disciplinas de Teoria da Computação e Linguagens Formais. Apesar disso, há uma escassez de sistemas de qualidade para simular tal reconhecimento, o que muitas vezes leva os alunos a permanecerem com dúvidas a respeito desses conteúdos, dificultando a aprendizagem. Propõe-se, então, o desenvolvimento de um sistema web capaz de suprir essa necessidade, visando melhorar a compreensão dos alunos acerca desses conteúdos. Será possível realizar o \textit{download} de tal ferramenta para executá-la sem necessidade de acesso à Internet. Além disso, a interface será de fácil utilização e compatível com dispositivos móveis. O sistema será então comparado com outras soluções existentes utilizando critérios e características como facilidade de uso, completude, corretude e número de funcionalidades oferecidas.

The recognition of sentences by recognizing mechanisms such as finite automata, pushdown automata and Turing machines is one of the most important subjects in disciplines such as Theory of Computation and Formal Languages. However, there's a lack of high quality systems to simulate such recognition, which frequently makes students have questions about these subjects, resulting in a more difficult learning process. We propose a new web application capable of fulfilling these needs, aiming to improve the student comprehension about these subjects. It will be possible to download the new tool to run it without needing an Internet connection, and the interface will be easy to use and compatible with mobile devices. The system will then be compared with other existing solutions using criteria and characteristics such as ease of use, completeness, correctness and number of provided functionalities.