Uma ferramenta para geração e correção de exercícios sobre autômatos finitos determinísticos.

Registro completo de metadados
MetadadosDescriçãoIdioma
Autor(es): dc.contributorRibeiro, Rodrigo Geraldo-
Autor(es): dc.contributorRibeiro, Rodrigo Geraldo-
Autor(es): dc.contributorFortes, Reinaldo Silva-
Autor(es): dc.contributorSantos, Valéria de Carvalhos-
Autor(es): dc.contributorFeitosa, Samuel da Silva-
Autor(es): dc.creatorNascimento, Guilherme Augusto Anício Drummond do-
Data de aceite: dc.date.accessioned2026-08-11T11:24:07Z-
Data de disponibilização: dc.date.available2026-08-11T11:24:07Z-
Data de envio: dc.date.issued2026-07-27-
Data de envio: dc.date.issued2025-
Fonte completa do material: dc.identifierhttps://www.repositorio.ufop.br/handle/123456789/21389-
Fonte: dc.identifier.urihttp://educapes.capes.gov.br/handle/capes/1187934-
Descrição: dc.descriptionPrograma de Pós-Graduação em Ciência da Computação. Departamento de Ciência da Computação, Instituto de Ciências Exatas e Biológicas, Universidade Federal de Ouro Preto.-
Descrição: dc.descriptionTeoria da Computação é um importante tópico para a Ciência da Computação e seu ensino é um grande desafio, uma vez que envolve muitos conceitos abstratos e matemáticos. Isso dificulta e atrasa a adoção de atividades educacionais que demandam muitas questões, como listas de exercícios ou simulados. Neste contexto, a geração automática de questões tem potencial para contribuir no aprendizado do estudante, ao focar a sua atenção no material apresentado e repetir conceitos básicos através de variados exercícios. Neste trabalho, apresentamos uma ferramenta desenvolvida em Racket, integrada ao Jupyter Nootebook utilizando o kernel IRacket, para gerar exercícios de construção de autômatos finitos determinísticos e seus respectivos gabaritos usando o conceito de expressões regulares e um algoritmo genético para otimizar a geração de questões com níveis variados de dificuldade. Adicionalmente, a ferramenta proposta é capaz de corrigir os exercícios gerados, apresentando contraexemplos que podem ser utilizados pelo aluno para compreender o porquê da solução por ele elaborada não estar correta.-
Descrição: dc.descriptionTheory of Computation is an important topic in Computer Science, and teaching it presents a significant challenge, as it involves many abstract and mathematical concepts. This complexity hinders and delays the adoption of educational activi- ties that require a large number of questions, such as exercise lists or mock exams. In this context, automatic question generation has the potential to support student learning by focusing their attention on the presented material and reinforcing knowl- edge through the repetition of basic concepts across varied exercises. IIn this work, we present a tool developed in Racket, integrated with Jupyter Notebook using the IRacket kernel to generate exercises for the construction and minimization of deter- ministic finite automata and their corresponding answer, using regular expressions and a genetic algorithm to optimize the generation of questions with varying dif- ficulty levels. Additionally, the proposed tool is capable of grading the generated exercises, presenting counterexamples that can help students understand why their submitted solution is incorrect.-
Formato: dc.formatapplication/pdf-
Idioma: dc.languagept_BR-
Direitos: dc.rightsaberto-
Direitos: dc.rightsAttribution-ShareAlike 3.0 United States-
Direitos: dc.rightshttp://creativecommons.org/licenses/by-sa/3.0/us/-
Direitos: dc.rightsAutorização concedida ao Repositório Institucional da UFOP pelo(a) autor(a) em 08/04/2026 com as seguintes condições: disponível sob Licença Creative Commons 4.0 que permite copiar, distribuir e transmitir o trabalho, desde que sejam citados o autor e o licenciante.-
Palavras-chave: dc.subjectLinguagens de programação - computadores-
Palavras-chave: dc.subjectTeoria da computação-
Palavras-chave: dc.subjectSistemas de computação interativos-
Título: dc.titleUma ferramenta para geração e correção de exercícios sobre autômatos finitos determinísticos.-
Tipo de arquivo: dc.typelivro digital-
Aparece nas coleções:Repositório Institucional - UFOP

Não existem arquivos associados a este item.