Kogu kursuse materjal

  • Cohen,D.I.A. Introduction to Computer Theory, John Wiley & Sons, 1997.
  • Davis,M.D., Sigal,R., Weyuker,E.J. Computability, complexity, and languages, second edition (Boston,Massachusetts: Academic Press, 1994).
  • John C.M. Introduction to Languages and the Theory of Computation, (McGraw-Hill, 1991).

Formaalsed keeled

  • Waite,W, Carter,L. An Introduction to Compiler Construction, (Harper-Collins, 1993).
  • Simovici,D., Tenney,R.L. Theory of formal languages with applications, (World Scientific, Boston, 1999).
  • А. Е. Пентус, М. Р. Пентус, Теория формальных языков, МГУ, 2004. Autorite loal kasutatav kursuse ITT0010 kuulajatele. Allalaadimine kursuse listi kaudu.
  • Б.К.Мартыненко. Языки и трансляции. СПГУ, Санкт-Петербург, 2003, http://gamma.math.spbu.ru/user/mbk/TUTORY/LT.html
  • И.А., Руденко Т.В. Формальные грамматики и языки. Элементы теории трансляции, MГУ, Москва, 1999. http://sp.cs.msu.su/courses/prak2/lang_grams.pdf
  • Ахо A., Ульман Дж. Теория синтаксического анализа, перевода и компиляции. Т. 1-2. "Мир", М., 1978.
  • Фитиалов С.Я. Формальные грамматики. ЛГУ, Л., 1984.
  • Гинзбург C. Математическая теория контекстно-свободных языков. "Мир" , М., 1970.
  • Гладкий А.В. Формальные грамматики и языки. "Наука", М., 1973.

Rekursiooniteooria ja keerukusteooria

  • Smith,C. A Recursive Introduction to the Theory of Computation. (Springer, 1994).
  • Balcazar, Diaz, Gabarro. Structural Complexity I, (Springer Verlag, 1988).
  • Cutland. Computability: An Introduction to Recusive Function Theory, (Cambridge, 1980).

Kasulik taustainfo