Издание дополнено материалом о конечных и магазинных автоматах, контекстно-свободных грамматиках и машине Тьюринга. Глава о рекурсивных алгоритмах содержит обсуждение аппроксимации порядка роста рекуррентных соотношений.
Изложение неформальное и чрезвычайно подробное, с большим количеством упражнений, позволяющих вести самоконтроль.
Книга пригодится всем, кому приходится самостоятельно писать программы - от студентов до программистов банковских систем и научных работников.