Desenvolupament d’una aplicació web per visualitzar i executar els models de la teoria d’autòmats

Barrachina Hernández, Pol
Compartir
La idea principal de realitzar aquest treball sorgeix a arrel del meu interès per l’àrea de computació. Veient les propostes per part del professorat em va cridar l’atenció perquè reunia un altre punt d’interès, la programació web. La motivació per dur a terme aquest projecte és ajudar a donar a conèixer aquesta branca de la computació que és la teoria d’autòmats i oferir a tothom que s’hi interessi una eina de suport addicional que permeti treballar els conceptes més bàsics. S’espera desenvolupar una aplicació que de manera interactiva mostri quines son les diferències entre els tipus d’autòmats, quines son les seves característiques i propietats i quines són les seves capacitats de còmput. Es tracta d’una eina pràctica que ajuda a introduir-se en aquest àmbit i que pot despertar l’interès d’alumnes i guiar-los en l’aprenentatge treballant aplicacions i exemples d’ús del temari estudiat. L’objectiu és la programació d’una eina de suport web a la docència que permeti definir autòmats finits deterministes, autòmats de pila, i màquines de Turing d’una sola cinta i multicinta, així com les seves respectives versions indeterministes i la seva modificació, execució pas per pas, la representació de manera visual i la capacitat per exportar i importar-les. Es busca donar una solució senzilla que permeti als alumnes testejar els dissenys d’autòmats i verificar el seu funcionament sense necessitat d’aprendre altres conceptes sobre l’aplicació. El llibre que s’utilitza com a base de l’assignatura corresponent és Introduction to the Theory of Computation [1] de Michael Sipser és per això que s’ha fet servir per facilitar encara més l’aprenentatge permetent simular i testejar alguns dels autòmats que apareixen al llibre com a exemples ​
Aquest document està subjecte a una llicència Creative Commons:Reconeixement - No comercial - Sense obra derivada (by-nc-nd) Creative Commons by-nc-nd4.0