Книга «Теория вычислений для программистов»
Первая книга, из которой мне хоть что-то стало понятно про теорию вычислений. Конечные автоматы, автоматы с магазинной памятью, машина Тьюринга, счисление Чёрча, эквивалентность и неэквивалетность этих машин, их детерминированные и не очень варианты. Всё с примерами, которые я наконец-то смог осилить. Хотя они все на Руби, который я не практикую, однако стоит отметить, что язык выбран очень удачно.
Том Стюарт. Теория вычислений для программистов / Пер. с анг. А.А. Слинкин. — Москва, ДМК Пресс, 2014. — 384 с.
Жалко, что тираж всего 200 штук.