"Теория вычислений для программистов". Том Стюарт. Том Стюарт специализируется на Ruby, Rails, веб-приложениях. Книга Тома Стюарта посвящена практическому способ изучать теорию вычислений для программистов. Автор применяет язык Ruby для объяснения семантики, теории автоматов и функционального программирования, вместо математических нотаций или академичного языка программирования Haskell или Lisp. Объясняет основные вычислительные концепции. Вы узнаете, как в программах используется динамическая семантика для передачи идей. Ккак универсальные машины Тьюринга привели к современным компьютерах общего назначения. В книге рассматриваются сложные вычисления с использованием простых языков и клеточных автоматов. Рассказывается, какие особенности языка программирования являются наиболее важными для вычислений. Анализируются программы с помощью абстрактных систем интерпретации. Книга "Теория вычислений для программистов" рассчитана на программистов различной квалификации, которые владеют хотя бы одним современным языком.