Desenvolvimento de algoritmos para correção automática de exercícios sobre autômatos finitos determinísticos.

Abstract

Disciplinas que lecionam teoria de autômatos tem sido, tradicionalmente, ensinadas usando lápis e papel. Com isso, alunos podem ter mais dificuldades de entendimento desse conteúdo, além de ficarem frustrados por não aprenderem. Ademais, o fato de esses estudantes usarem papel e lápis, professores e tutores acabam gastando mais tempo na correção de exercícios dessa matéria. Dessa forma, foi proposto a criação de uma ferramenta usando a linguagem Racket para auxiliar alunos na aprendizagem de teoria de autômatos, sendo isso através de uma funcionalidade que faz a correção automática de exercícios sobre a criação de autômatos finitos determinísticos. A forma de auxiliar esses alunos é dando um contraexemplo que prova que o autômato criado pelo estudante esta incorreto. Isso é possível devido ás propriedades de fechamento que autômatos possuem.