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