Sat-Ts: a SAT-based parser,
completer and generator for picture languages specified by tilings
(new CNF version 20070225).
Mazpa: parsing tools
for some classes of 2D Context-free Grammars (presently, Kolam and Regional
tile grammars).
Flup: a simple tool for Operator Precedence Automata and Grammars.
courses
You can find all the materials of the courses
Principles of Programming Languages,
Theoretical Computer Science,
and
Algoritmi e Principi dell'Informatica/Informatica Teorica
in
WeBeep.
theses
You can look here
for some ideas, but for up-to-date stuff please contact me.
