Automata and Formal Languages 2013/14

Lecture notes

• Basic notation
• Lecture notes (January 28, 2014)
• Some notes on omega-regular languages (in German)

Literature

• Tobias Nipkow's slides from his introductory lecture (in German).
• Debasis Mitra's slides from his introductory lecture (in English). Remark: this is just one of the many sets of slides available online.
• Volker Diekert, Manfred Kufleitner, Gerhard Rosenberger;
  Diskrete Algebraische Methoden;
  Walter de Gruyter, 2013 (in German).
• Jean Berstel;
  Transduction and Context-Free Languages;
  BG Teubner, 1979. Revised version from 2009
• John E. Hopcroft, Rajeev Motwani, Jeffrey D. Ullman;
  Introduction to Automata Theory, Languages and Computation;
  Addison-Wesley Longman, 3rd edition, 2006.
• Michael Sipser;
  Introduction to the Theory of Computation;
  Course Technology, 2005.
• Joerg Flum, Erich Graedel, Thomas Wilke (eds.);
  Logic and Automata: History and Perspectives, Volume 2;
  Amsterdam University Press, 2008.
• Dominique Perrin, Jean-Eric Pin;
  Infinite Words: Automata, Semigroups, Logic and Games;
  Academic Press, 2004.