185.A42 Formal Language Theory
This course is in all assigned curricula part of the STEOP.
This course is in at least 1 assigned curriculum part of the STEOP.

2019W, VU, 2.0h, 3.0EC, to be held in blocked form

Properties

  • Semester hours: 2.0
  • Credits: 3.0
  • Type: VU Lecture and Exercise

Learning outcomes

After successful completion of the course, students are able to describe the main features of the language classes in the CHOMSKY hierarchy and to give significant examples. Moreover, students are able to give definitions and examples for the basic classes in the time and space complexity classes hierarchy.

After successful completion of the course, students are able to describe the main features of control mechanisms and to give significant examples.

Subject of course

Chomsky-Hierarchy of Formal Languages, corresponding classes of Automata. Basic Variants of Regulated Rewriting mechanisms. Basic Variants of Parallel Systems.Descriptional Complexity measures.

Teaching methods

Homeworks with examples.

Mode of examination

Immanent

Additional information

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

 

Lecturers

Institute

Course dates

DayTimeDateLocationDescription
Tue18:00 - 20:0001.10.2019 - 28.01.2020FH Hörsaal 7 - GEO 185.A42: Formal Language Theory
Tue17:00 - 20:0018.02.2020FH Hörsaal 5 - TPH 185.A42: Formal Language Theory Presentations
Formal Language Theory - Single appointments
DayDateTimeLocationDescription
Tue01.10.201918:00 - 20:00FH Hörsaal 7 - GEO 185.A42: Formal Language Theory
Tue08.10.201918:00 - 20:00FH Hörsaal 7 - GEO 185.A42: Formal Language Theory
Tue15.10.201918:00 - 20:00FH Hörsaal 7 - GEO 185.A42: Formal Language Theory
Tue22.10.201918:00 - 20:00FH Hörsaal 7 - GEO 185.A42: Formal Language Theory
Tue29.10.201918:00 - 20:00FH Hörsaal 7 - GEO 185.A42: Formal Language Theory
Tue05.11.201918:00 - 20:00FH Hörsaal 7 - GEO 185.A42: Formal Language Theory
Tue12.11.201918:00 - 20:00FH Hörsaal 7 - GEO 185.A42: Formal Language Theory
Tue19.11.201918:00 - 20:00FH Hörsaal 7 - GEO 185.A42: Formal Language Theory
Tue26.11.201918:00 - 20:00FH Hörsaal 7 - GEO 185.A42: Formal Language Theory
Tue03.12.201918:00 - 20:00FH Hörsaal 7 - GEO 185.A42: Formal Language Theory
Tue10.12.201918:00 - 20:00FH Hörsaal 7 - GEO 185.A42: Formal Language Theory
Tue17.12.201918:00 - 20:00FH Hörsaal 7 - GEO 185.A42: Formal Language Theory
Tue07.01.202018:00 - 20:00FH Hörsaal 7 - GEO 185.A42: Formal Language Theory
Tue14.01.202018:00 - 20:00FH Hörsaal 7 - GEO 185.A42: Formal Language Theory
Tue21.01.202018:00 - 20:00FH Hörsaal 7 - GEO 185.A42: Formal Language Theory
Tue28.01.202018:00 - 20:00FH Hörsaal 7 - GEO 185.A42: Formal Language Theory
Tue18.02.202017:00 - 20:00FH Hörsaal 5 - TPH 185.A42: Formal Language Theory Presentations
Course is held blocked

Examination modalities

Judging the examples and the final presentation of a chosen topic.

Course registration

Begin End Deregistration end
02.10.2019 09:00 11.10.2019 23:59 12.10.2019 23:59

Curricula

Study CodeObligationSemesterPrecon.Info
066 931 Logic and Computation Mandatory elective
066 937 Software Engineering & Internet Computing Mandatory elective

Literature

No lecture notes are available.

Language

if required in English