CSC2428     LOGIC AND AUTOMATA    WINTER 2005

Requirements: class attendance, taking notes, 2 sets of problems, short presentation

Suggested reading:

• Infinite Words: Automata, Semigroups, Logic and Games, by D. Perrin and J.-E.Pin,
  chapter "Automata and infinite words"
• W. Thomas. Languages, automata and logic.  Chapter in the Handbook of Formal Languages. Linked here is a technical report whose contents are very close to the chapter.
• I. Walukiewicz. Automata and Logic. (these notes concentrate on the mu-calculus).
• L. Libkin. Elements of Finite Model Theory, especially chapter 7.
• M. Vardi's course notes on automata in verification.
• E. Grädel, W. Thomas, and Th. Wilke. Automata, logics, and infinite games, volume 2500 of Lecture Notes in Computer Science. Springer, 2002.
• The TATA book: Tree Automata Techniques and Applications
• M.Vardi's Banff notes on LTL and automata.