Understanding of classical generating and analysing mechanisms in Formal Language Theory. Ability to construct grammars and automata for given languages. Understanding of basic proof techniques in formal language theory.
Chomsky-Hierarchy of Formal Languages, corresponding classes of Automata. Basic Variants of Regulated Rewriting mechanisms. Basic Variants of Parallel Systems. Descriptional Complexity measures.
Vorbesprechung: 09.10.2018, 19 c.t., FH HS 7
Blocktermine und sonstige Informationen über TISS!
ECTS-Breakdown (sum=75h, corresponding to 3 ECTS):Festlegung der
12h: attending lectures
12h: reflecting lectures
24h: preparing solutions for exercises
4h: presenting solutions for exercises
21h: preparation for final exam
2h: final written exam