Plataforma de suport docent a l’estudi d’autòmats

Abstract

Actualment a la Universitat de Girona s’hi cursa l’assignatura de “Fonaments de Computació” dins el grau d’Enginyeria Informàtica. El seu objectiu és introduir els alumnes en els llenguatges formals i disseny d’autòmats, alhora que oferir-los els primers conceptes sobre la teoria de la decidibilitat i la complexitat. L’objectiu d’aquest projecte és desenvolupar una eina de caràcter docent on-line per posar a disposició dels estudiants i professors involucrats a l’assignatura prèviament esmentada o bé de similars en el seu mateix context. L’anomenarem Plataforma de suport docent a l’estudi d’autòmats. Més concretament l’aplicació serà dissenyada per ser una eina didàctica que ens permeti dissenyar qualsevol tipus d’autòmat finit bàsic, de pila o màquina de Turing, i la seva execució. També ha de permetre que s’enregistrin codificacions personals de qualsevol dels autòmats esmentats, i computar-les d’acord a les diferents opcions que ofereix la plataforma