Ítem
Bofill Arasa, Miquel | |
Universitat de Girona. Escola Politècnica Superior | |
Pujolras Bosch, Jordi | |
setembre 2024 | |
En aquest projecte es pretén desenvolupar una eina docent que doni suport tant a estudiants com a docents d’assignatures relacionades amb la teoria de la computació.
Els problemes de llenguatges, gramàtiques i autòmats admeten solucions molt diverses. Això fa que els estudiants sovint tinguin dubtes de si la seva solució ´es correcta encara que s’hagi publicat una possible solució. També per als professors pot fer-se carregós corregir determinats exercicis, davant la diversitat de respostes possibles.
Els objectius del projecte son: La conversió d’autòmats finits en expressions regulars i viceversa. - La determinació de l’equivalència d’expressions regulars. - La determinació de l’equivalència de gramàtiques i la cerca de contraexemples. - La determinació de l’ambigüitat de gramàtiques.
Els dos últims objectius plantejats son problemes indecidibles. És a dir, no existeix un algorisme que els pugui resoldre. Per tant, es pretén buscar informació de com resoldre aquests problemes i estudiar diverses opcions disponibles.
Altres funcionalitats per afegir al projecte son: - La generació de paraules a partir d’expressions, gramàtiques i autòmats. - L’acceptació de paraules a partir d’expressions, gramàtiques i autòmats. - La simplificació de gramàtiques. - La transformació de gramàtiques a formes normals.
Per dur a terme totes aquestes tasques s’ha de determinar un format d’entrada pels autòmats, expressions i gramàtiques. Així doncs, l’aplicació ha de permetre llegir fitxers en aquests formats i mostrar el resultat de l’execució també en aquests formats. 4 |
|
application/pdf | |
26320 | |
http://hdl.handle.net/10256/26816 | |
cat | |
Attribution-NonCommercial-NoDerivatives 4.0 International | |
http://creativecommons.org/licenses/by-nc-nd/4.0/ | |
Informàtica -- Ensenyament universitari
Electronic data processing -- Study and teaching (Higher) Ensenyament universitari -- Innovacions Educational innovations Tecnologia educativa Educational technology |
|
Implementació d’una eina docent per a l’assignatura de Fonaments de la Computació | |
info:eu-repo/semantics/bachelorThesis | |
DUGiDocs |