计算理论导引: 英文版 : 新版

Voorkant
机械工业出版社, 2006 - 456 pagina's
4 Recensies
本书介绍了计算理论的三个主要内容:自动机与语言, 可计算性理论和计算复杂性理论.同时对可计算性和计算复杂性理论中的某些高级内容进行了重点介绍.

Wat mensen zeggen - Een review schrijven

LibraryThing Review

Gebruikersrecensie  - Tammmer - LibraryThing

Sipser starts from a treatment of basic set theory and proofs. He moves from there through regular languages & finite automata, context-free languages & pushdown automata, and on to Turing machines ... Volledige review lezen

LibraryThing Review

Gebruikersrecensie  - themulhern - LibraryThing

This book is a real gem. A coherent focus is maintained throughout, subjects are introduced in a rational order, and not a word or paragraph is wasted. The assignments at the end of the chapter are ... Volledige review lezen

Overige edities - Alles weergeven

Bibliografische gegevens