Saarland University
Computer Science
Programming Systems
Teaching
Formal Grammars


Main page
Literature

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

Abstract

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

Organization

The seminar will be split into two parts:

Here are the topics for the talks.

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

Assessment

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

Registration

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: Mon Oct 16 13:11:03 2017 |