Abstract State Machines. A Method for High-Level System Design and Analysis
Abstract State Machines. Solution to Exercises
Algebraic complexity theory
Algorithmen kurz gefaßt
An Introduction to the Theory of Computation
Feynman Lectures on Computation
Introduction to Complexity Theory (lecture notes)
Problem solving in automata, languages, and complexity
Алгебраическая теория автоматов, языков и полугрупп
Алгоритмы и рекурсивные функции
Введение в теорию конечных автоматов
Вычисления и автоматы
Вычислимость. Введение в теорию рекурсивных функций
Вычислительные машины и труднорешаемые задачи
Конечные автоматы. Поведение и синтез
Ламбда-исчисление. Его синтаксис и семантика
Машины Тьюринга (часть 2)
Программирование. Математические основы, средства, теория
Рекурсивные функции
Синтез цифровых автоматов
Теория алгоритмов
Теория алгорифмов
Теория рекурсивных функций и эффективная вычислимость
Элементы теории алгоритмов