Tree Automata and Applications

2024-2025

• Cours M1 MPRI 1.18
• Instructor: Laurent Doyen
• Teaching Assistant: Luc Lapointe

Resources

• Slides: PDF (last update: 19 Nov 2024)
• The TATA book: H. Comon, M. Dauchet, R. Gilleron, F. Jacquemard, D. Lugiez, C. Löding, S. Tison, M. Tommasi. Tree Automata Techniques and Applications. pp.262, 2008.
• C. Löding, W. Thomas. Automata on finite trees. Handbook of Automata Theory (I.), pp. 235-264, 2021.

Exam

• Written exam: Wednesday 15th January 2025
• Duration: 2h

Archives

• Page of the course 2023/2024
• Page of the course on MPRI (not up to date)