dc.creator.ID |
BARBOSA, J. P. B. |
pt_BR |
dc.contributor.advisor1 |
BRITO, Andrey Elísio Monteiro. |
|
dc.contributor.advisor1ID |
BRITO, A. E. M. |
pt_BR |
dc.contributor.advisor1Lattes |
http://lattes.cnpq.br/2634324830901340 |
pt_BR |
dc.contributor.referee1 |
ANDRADE, Wilkerson de Lucena. |
|
dc.contributor.referee2 |
BRASILEIRO, Francisco Vilar. |
|
dc.description.resumo |
Os cursos que apresentam a teoria dos autômatos trazem consigo
uma natureza matemática e formal necessária. Porém, quando o
estudo desse tema não é planejado de forma conjunta à realização
de exercícios práticos, geralmente se torna fator que compromete
a compreensão por parte do aluno. Ainda assim, a resolução e
correção de tais exercícios, quando feitas de forma confusa, sem a
devida instrução, podem ser longas, tediosas e propensas a erros.
Para mitigar essa dificuldade e apoiar o ensino e aprendizagem,
este trabalho propõe uma plataforma web online visual e interativa
para construção de autômatos finitos, determinísticos ou não, sua
testagem, validação e aplicação de determinados algoritmos sob
eles; além de contar com um ambiente focado na realização de
exercícios criados por professores para os alunos, fornecendo-os
feedbacks rápidos e constantes. |
pt_BR |
dc.publisher.country |
Brasil |
pt_BR |
dc.publisher.department |
Centro de Engenharia Elétrica e Informática - CEEI |
pt_BR |
dc.publisher.initials |
UFCG |
pt_BR |
dc.subject.cnpq |
Ciência da Computação. |
pt_BR |
dc.title |
FAVA: Aplicação de simulação e validação de autômatos finitos para auxílio de ensino e aprendizagem. |
pt_BR |
dc.date.issued |
2023-06-28 |
|
dc.description.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. |
pt_BR |
dc.identifier.uri |
http://dspace.sti.ufcg.edu.br:8080/jspui/handle/riufcg/30511 |
|
dc.date.accessioned |
2023-07-03T12:03:54Z |
|
dc.date.available |
2023-07-03 |
|
dc.date.available |
2023-07-03T12:03:54Z |
|
dc.type |
Trabalho de Conclusão de Curso |
pt_BR |
dc.subject |
Autômatos finitos |
pt_BR |
dc.subject |
Simulador |
pt_BR |
dc.subject |
Validador formal |
pt_BR |
dc.subject |
Linguagens formais |
pt_BR |
dc.subject |
Software de auxílio acadêmico |
pt_BR |
dc.subject |
Equivalência de autômatos |
pt_BR |
dc.subject |
Ensino e aprendizagem - sistema |
pt_BR |
dc.subject |
Finite automata |
pt_BR |
dc.subject |
Simulator |
pt_BR |
dc.subject |
Formal validator |
pt_BR |
dc.subject |
Formal languages |
pt_BR |
dc.subject |
Academic aid software |
pt_BR |
dc.subject |
Equivalence of automata |
pt_BR |
dc.subject |
Teaching and learning - system |
pt_BR |
dc.rights |
Acesso Aberto |
pt_BR |
dc.creator |
BARBOSA, João Pedro de Barros. |
|
dc.publisher |
Universidade Federal de Campina Grande |
pt_BR |
dc.language |
por |
pt_BR |
dc.title.alternative |
FAVA: finite automata simulation and validation application for learning-teaching aid. |
pt_BR |
dc.identifier.citation |
BARBOSA, João Pedro de Barros. FAVA: Aplicação de simulação e validação de autômatos finitos para auxílio de ensino e aprendizagem. 2023. 13f. (Trabalho de Conclusão de Curso - Artigo), Curso de Bacharelado em Ciência da Computação, Centro de Engenharia Elétrica e Informática , Universidade Federal de Campina Grande – Paraíba - Brasil, 2023. Disponível em: http://dspace.sti.ufcg.edu.br:8080/jspui/handle/riufcg/30511 |
pt_BR |