Saarland University
Computer Science
Programming Systems
Formal Grammars

Main page

Formal Grammars

Seminar, 9 credit points
(may also be credited as Proseminar)

Winter term 2006/2007

Prof. Gert Smolka, Ralph Debusmann, Marco Kuhlmann, Mathias Möhl, Guido Tack
Programming Systems Lab, Department of Computer Science, Saarland University


Formal grammars are finite devices used to specify infinite sets of mathematical structures, such as strings, trees, or hypergraphs (one of the most familiar grammar formalisms is context-free grammar). Formal grammars are widely applied both in computer science and computational linguistics.

This seminar has three goals:

The exact syllabus of the seminar will depend on the specific interests of the participants. Possible topics include:

Some of the literature that we will discuss


The seminar will be split into two parts:

Here are the topics for the talks.

The seminar schedule, including the slides, is now available.


To obtain the credit points assigned to this course, you have to meet the following requirements:


To register for the seminar, please come to the kick-off meeting (see above). If for any reason you cannot make it to that meeting, but are interested in attending the seminar, please send a mail to Marco Kuhlmann to explain your situation.

Last Change: Wed May 1 17:58:10 2019 |