Corrector d’autòmats per la plataforma ACME: mòdul pertanyent al Projecte ACME

Abstract

Fa uns anys un grup de professors del departament d’Informàtica i Matemàtica Aplicada de la Universitat de Girona va decidir endinsar-se al món de l’ensenyament a través d’Internet (e-learning). D’aquí va néixer el projecte ACME (Avaluació Continuada i Millora de l’Ensenyament). Inicialment l’ACME anava dirigit a reduir l’elevat fracàs dels alumnes a les assignatures de matemàtiques. El resultat va ser tan bo que es va ampliar a altres camps d’estudi com la química o la informàtica, amb tot i això encara hi ha moltes matèries a les quals no dóna suport. Aquest Projecte Final de Carrera neix per donar suport a un nou tipus de problemes dins de la plataforma ACME, els autòmats finits. Aquest nou mòdul inclourà les eines necessàries per poder generar diferents tipus de problemes sobre autòmats finits i la seva posterior correcció, donant suport a les assignatures de LGA (Llenguatges, Gramàtiques i Autòmats) i TALLF (Teoria d’Autòmats i Llenguatges Formals)