FAVA: Aplicação de simulação e validação de autômatos finitos para auxílio de ensino e aprendizagem.

Abstract

The courses that contain the automata’s theory subject bring with them a necessary mathematical and formal nature. However, when the study of this subject is not planned in conjunction with the practical exercises, it usually becomes a factor that compromises the student’s understanding on it. Still, the resolution and correction of such exercises, when done in a confusing manner without proper instruction, can be lengthy, tedious, and prone to errors. To try solving this struggle and to support teaching and learning, this work proposes an online web platform for visually and interactively constructing finite automata, deterministic or not, its testing, validation, and application of certain algorithms on them. It also includes an environment focused on the resolution of exercises created by teachers for students, providing them with quick and constant feedbacks.