Automata and Formal Languages II: Tree Automata

Lecturer: Dr. Peter Lammich

Module: IN2042

2+2 SWS (2 SWS lecture, 2 SWS tutorial)

Lecture: Tuesday, 10:15-11:45 in MI 00.09.38 (Turing)

Tutorial: Wednesday, 12:15-13:45 in MI 00.09.38 (Turing)
Exceptions: In July, the Tutorial will be in MI 01.09.011 (Tarski)
First Tutorial: April 22


This lecture covers the topic of tree automata, a generalization of automata from sequences to trees. We will introduce tree automata, and cover some of their applications, such as XML-Schema and program analysis.