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.

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

Properties

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

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, schedules and further informations are announced via TISS!

ECTS-Breakdown (sum=75h, corresponding to 3 ECTS)

12h: attending lectures
12h: reflecting lectures
12: preparing solutions for exercises
6:  presenting solutions for exercises
30h: preparation for final presentation
3h:  final presentations

 

 

Lecturers

Institute

Examination modalities

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

Course registration

Not necessary

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