Sa se proiecteze o biblioteca Haskell pentru modelarea limbajelor regulate. Aceasta trebuie sa faciliteze:
*    Definirea expresiilor regulate, a automatelor finite deterministe si nedeterministe, a gramaticilor de tip 3;
*    Transformarile:
*    Expresie regulata -> automat nedeterminist -> automat determinist;
*    Automat determinist -> gramatica de tip 3;
*    Gramatica de tip 3 -> automat nedeterminist;
*    Automat determinist -> automat determinist minimal.
*    Problema recunoasterii: dat un automat finit determinist si un cuvânt, este acesta recunoscut de automatul finit?

Echipa: 2-3 studenti.

Bonus: realizarea unui proiect, inclusiv documentatia, va fi considerata activitate indeplinita în cadrul laboratorului aferent disciplinei “Programare functionala”.

Proiect propus de: domnul profesor, doctor, decan Gheorghe Grigoras.