
Atenção:
O eduCAPES é um repositório de objetos educacionais, não sendo responsável por materiais de terceiros submetidos na plataforma. O usuário assume ampla e total responsabilidade quanto à originalidade, à titularidade e ao conteúdo, citações de obras consultadas, referências e outros elementos que fazem parte do material que deseja submeter. Recomendamos que se reporte diretamente ao(s) autor(es), indicando qual parte do material foi considerada imprópria (cite página e parágrafo) e justificando sua denúncia.
Caso seja o autor original de algum material publicado indevidamente ou sem autorização, será necessário que se identifique informando nome completo, CPF e data de nascimento. Caso possua uma decisão judicial para retirada do material, solicitamos que informe o link de acesso ao documento, bem como quaisquer dados necessários ao acesso, no campo abaixo.
Todas as denúncias são sigilosas e sua identidade será preservada. Os campos nome e e-mail são de preenchimento opcional. Porém, ao deixar de informar seu e-mail, um possível retorno será inviabilizado e/ou sua denúncia poderá ser desconsiderada no caso de necessitar de informações complementares.
| Metadados | Descrição | Idioma |
|---|---|---|
| Autor(es): dc.contributor | Ribeiro, Rodrigo Geraldo | - |
| Autor(es): dc.contributor | Ribeiro, Rodrigo Geraldo | - |
| Autor(es): dc.contributor | Fortes, Reinaldo Silva | - |
| Autor(es): dc.contributor | Santos, Valéria de Carvalhos | - |
| Autor(es): dc.contributor | Feitosa, Samuel da Silva | - |
| Autor(es): dc.creator | Nascimento, Guilherme Augusto Anício Drummond do | - |
| Data de aceite: dc.date.accessioned | 2026-08-11T11:24:07Z | - |
| Data de disponibilização: dc.date.available | 2026-08-11T11:24:07Z | - |
| Data de envio: dc.date.issued | 2026-07-27 | - |
| Data de envio: dc.date.issued | 2025 | - |
| Fonte completa do material: dc.identifier | https://www.repositorio.ufop.br/handle/123456789/21389 | - |
| Fonte: dc.identifier.uri | http://educapes.capes.gov.br/handle/capes/1187934 | - |
| Descrição: dc.description | Programa 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.description | Teoria 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.description | Theory 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.format | application/pdf | - |
| Idioma: dc.language | pt_BR | - |
| Direitos: dc.rights | aberto | - |
| Direitos: dc.rights | Attribution-ShareAlike 3.0 United States | - |
| Direitos: dc.rights | http://creativecommons.org/licenses/by-sa/3.0/us/ | - |
| Direitos: dc.rights | Autorizaçã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.subject | Linguagens de programação - computadores | - |
| Palavras-chave: dc.subject | Teoria da computação | - |
| Palavras-chave: dc.subject | Sistemas de computação interativos | - |
| Título: dc.title | Uma ferramenta para geração e correção de exercícios sobre autômatos finitos determinísticos. | - |
| Tipo de arquivo: dc.type | livro digital | - |
| Aparece nas coleções: | Repositório Institucional - UFOP | |
O Portal eduCAPES é oferecido ao usuário, condicionado à aceitação dos termos, condições e avisos contidos aqui e sem modificações. A CAPES poderá modificar o conteúdo ou formato deste site ou acabar com a sua operação ou suas ferramentas a seu critério único e sem aviso prévio. Ao acessar este portal, você, usuário pessoa física ou jurídica, se declara compreender e aceitar as condições aqui estabelecidas, da seguinte forma: