Bachelor Informatica



The following thesis was written by a student in the 2013-2014 class of the Bachelor Informatica programme at Leiden University.


Thesis details

TitleEquivalence Checking of Regular Expressions using Non-Deterministic Finite Automata
StudentStuivenberg, A. (Arthur)
ProgrammeBachelor Informatica
Year2013-2014
SupervisorsBonsangue, prof.dr. M.M. (Marcello)
dr. J. Rot (second supervisor)
Thesis Open Thesis PDF

Citation details

Stuivenberg, A. (Arthur), Equivalence Checking of Regular Expressions using Non-Deterministic Finite Automata, Thesis Bachelor Informatica, LIACS, Leiden University, 2014.