Ampliació de l'eina d'Informàtica Teòrica per a la Plataforma ACME. Expressions regulars i gramàtiques lògiques

Esteve del Acebo (contacta)

ETIG / ETIS / EINF

Actualment, l'eina per a l'estudi de l'Informàtica teòrica de la que disposa la plataforma ACME només permet fer exercicis sobre autòmats finits. El projecte consisteix en ampliar aquesta eina de manera que permeti també posar, resoldre i corregir exercicis sobre expressions regulars i gramàtiques lògiques. L'objectiu últim del projecte és aconseguir una eina que pugui ser utilitzada en la docència real d'assignatures de la carrera.

- Estudi del estat actual de l'eina i la seva integració a la plataforma ACME
- Estudi de les eines de programació web que la plataforma fa servir
- Disseny i implementació de interfícies i mòduls per
a) Introducció/modificació de problemes
b) Resolució de problemes
c) Correcció de problemes

Teoria d'autòmats i llenguatges formals.

2 d'abril de 2009