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.
Introductory lecture: 09.10.2018, 19 c.t., FH HS 7
Schedules and further informations via TISS!
ECTS-Breakdown (sum=75h, corresponding to 3 ECTS):
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