Модуль 1

Автоматы-преобразователи

  1. Shallit. A Second Course in Formal Languages and Automata Theory (2008, CUP, 252 p.)

  2. Брауэр В. Введение в теорию конечных автоматов (Радио и связь, 1987, 392 с.)

  3. Гилл А. Введение в теорию конечных автоматов (Наука, 1966, 272 с.)

Автоматы-распознаватели

  1. Sipser. Introduction To The Theory Of Computation (Thomson, 2nd ed, 2005, 456 p.)

  2. Хопкрофт Дж., Мотвани Р., Ульман Дж. Введение в теорию автоматов, языков и вычислений (2002, 2-е изд, М: Вильямс, 528 с.)

Системы переходов: клеточные автоматы

  1. Астафьев Г.Б., Короновский А.А., Храмов А.Е. Клеточные автоматы: Учебно-методическое пособие. (Саратов: Изд–во ГосУНЦ «Колледж», 2003. 24с.)

  2. Ceccherini-Silberstein, Coornaert. Cellular Automata and Groups (Springer, 2010, 440 p.)

Автоматы-генераторы

  1. Шнайер Б. Прикладная криптография. Протоколы, алгоритмы, исходные тексты на языке Си (Триумф, 2012, 816 с.)

  2. Кнут Д. Искусство программирования, т. 2 «Получисленные алгоритмы» (М: Вильямс, 2011, 832 с.)

Модуль 2

  1. Алфёров и др. Основы криптографии (Гелиос, 2002, 480 с.)

  2. Salomaa. Computation and automata (CUP, 1985, 281 p.).