Lectures Held on a Regular Basis

Please click here to find the lectures that are held on a regular basis. This information can be used to create a study plan. However, this information is tentative, i.e. always check the lectures of the current and next semester to keep the study plan up to date.

Lectures of the Current Semester

Module details on 'Formal Languages - Formal Languages'

CategoryTheoretical Foundations
LecturerDr. rer. nat. Meier, Arne (Hannover)
Module Exam ID1010
Weekly Composition2L+1E
Required Hours of Work (presence / self-study)125 (42 / 83)
SemesterWinter (biyearly)
Teaching Methodsblackboard lecture, video recordings available at Stud.IP
Module DescriptionThe classes of regular and context-free languages play an extemely important role in different areas of computer science such as compilers, knowledge representation, web design, etc. In this lecture we will mainly study these classes and their algorithmic properties.
Module OutcomesReach a deep experience for phenomena from the area of formal languages, know how and when use different automata and grammar models for (subclasses of) regular and context-free languages, competence of different transformations, normal forms and further algorithms for these models, applications to syntax analysis, parsing, knowledge representation.
Recommended LiteratureJohn Hopcroft, Rajeev Motwani, Jeffrey Ullman, Introduction to automata theory, languages, and computation, Addison Wesley, 2008.
PrerequisitesFoundations on automata models, Turing machines, Chomsky hierarchy.
ExamWritten or oral exam, graded (Written (75 min) / oral (25 min))
CommentsSee http://www.thi.uni-hannover.de/217.html?&L=1

Available Course Modes

In the following document you can get an overview about the available course modes that are offered in the ITIS Master's program: Course Modes