Това обновено издание на успешния наръчник на Майкъл Сипсър разказва завладяващата история на теорията на изчисленията - познавателна област, която включва елегантни заключения и вълнуващи ненадминати въпроси на кръстопътя между математиката и компютърните науки.

Ясният и достъпен стил на Сипсър позволява на студенти от всякакво ниво да разберат и да се насладят на тази познавателна сфера. Пионерските раздели «доказателствени идеи» разкриват интуитивно идеите, на които се основават формалните доказателства на теоремите, обяснявайки основните концепции на достъпен език.

Това ревизирано издание, в което са включени актуални добавки и повече примери по ключови въпроси, запазва установения, достъпен стил на книгата, докато новата, иновативна теоретична анализа на причинно обусловените не съвместими граматики улеснява разбирането на синтактичния анализ и граматиките LR(k).