Теория вычислений для программистов: Том Стюарт

Наконец-то появился увлекательный и практичный способ изучать теорию вычислений и проектирование языков программирования.
В этой книге теоретическая информатика излагается в хорошо знакомом вам контексте, что поможет оценить, почему ее идеи важны и как они отражаются на том, чем программист изо дня в день занимается на работе.
Вместо математической нотации или незнакомого академичного языка программирования типа Haskell или Lisp в этой книге для объяснения формальной семантики, теории автоматов и функционального программирования вкупе с лямбда-исчислением применяется язык Ruby, сведенный к минимуму.
Это идеальное решение для программистов, знакомых хотя бы с одним из современных языков, но не имеющих формальной подготовки в информатике.