Literatura

• I. Černá, M. Křetínský a A. Kučera: Automaty a formální jazyky I, FI MU 2002.
  Materiál ke kursu IB005, doporučený i k IB102. Ke stažení zde, kopie též v knihkupectví "U Marečka".
• I. Černá, J. Barnat a V. Řehák: Příklady k cvičením - IB102 a IB005, Formální jazyky a automaty, FI MU 2006.
  Ke stažení zde.

Dále lze čerpat z následujících materiálů (za jejich bezchybnost neručíme):

• P. Jančar: Teoretická informatika, VŠB-TU Ostrava 2007.
  Materiál pro samostudium, ke stažení zde.
• J. Gruska: Foundations of Computing. Thomson International Computer Press, 1997.
• M. A. Harrison: Introduction to Formal Language Theory, Addison-Wesley, 1978.
• J. E. Hopccroft, J. D. Ullman: Introduction to Automata Theory, Languages and Computation, Addison-Wesley, 1979.
• J. E. Hopccroft, R. Motwani, J. D. Ullman: Introduction to Automata Theory, Languages and Computation, 2nd ed., Addison-Wesley, 2001.
• D. Kozen: Automata and computability, Springer, 1997.
• M. Chytil: Automaty a gramatiky, SNTL Praha, 1984.
• ZKUSTO
• Kurs na VSB v Ostravě
• Kurs na MFF v Praze

Na internetu lze nalézt spoustu dalších materiálů a příkladů k formálním jazykům, automatům a gramatikám. K prozkoumání doporučuji např. stránky kurzu Teorie jazyků a automatů z VŠB-TU Ostrava (najdete na nich např. hojně komentované výukové animace).