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

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