VVZ API is not affiliated with ETH Zurich. Data might be outdated or incorrect. Please view the official ETHZ Vorlesungsverzeichnis for binding information.

263-5352-00L 6 Credits MSC , WBZ D-ITET , D-INFK , D-MATH

Advanced Formal Language Theory

Lecturers & Examiners: Prof. Dr. Ryan Cotterell
VVZ CR 4.4

Last Updated: 2026-06-03 00:14:09

Abstract

This course serves as an introduction to various advanced topics in formal language theory.

Objective

The objective of the course is to learn and understand a variety of topics in advanced formal language theory.

Content

This course serves as an introduction to various advanced topics in formal language theory. The primary focus of the course is on weighted formalisms, which can easily be applied in machine learning. Topics include finite-state machines as well as the algorithms that are commonly used for their manipulation. We will also cover weighted context-free grammars, weighted tree automata, and weighted mildly context-sensitive formalisms.

Resources

Learning Materials (Links)

General Information

Language
English
Levels
MSC , WBZ
Frequency
Yearly recurring

Examination

Type
graded semester performance
The final course grade will be determined by:(1) homework: 50%(2) project: 50%

Course Components

Type Title Time & Place Hours
lecture with exercise Advanced Formal Language Theory
  • Wed 12:15-14:00 (CAB G 51)
  • Thu 12:15-14:00 (ML F 39)
4 h weekly
independent project Advanced Formal Language Theory No time listed 1 h weekly

Offered In