读过《Introduction to the Theory of Computation》 🌕🌕🌕🌕🌕
或许是最好的计算理论教材,从最基础的有穷自动机讲起,直至将Kolmogorov complexity和交互式证明系统这样的概念以自然的方式呈现在读者眼前。Sipser属于那种教学经验丰富、深谙把复杂证明讲得深入浅出之道的作者。这一版还增加了对确定型下推自动机以及LR(k)文法的讨论,对于关心自动机应用的读者来说,几乎可以和编译龙书无缝衔接。
Book
Introduction to the Theory of Computation
Douban
Michael Sipser
publishing house:
Cengage Learning
2012
- 6
Gain a clear understanding of even the most complex, highly theoretical computational theory topics in the approachable presentation found only in the market-leading INTRODUCTION TO THE THEORY OF COMPUTATION, 3E. The number one choice for today's computational theory course, this revision continues the book's well-know, approachable style with timely revisions, additional practice, and more memorable examples in key areas. A new first-of-its-kind theoretical treatment of deterministic context-free languages is ideal for a better understanding of parsing and LR(k) grammars. You gain a solid understanding of the fundamental mathematical properties of computer hardware, software, and applications with a blend of practical and philosophical coverage and mathematical treatments, including advanced theorems and proofs. INTRODUCTION TO THE THEORY OF COMPUTATION, 3E's comprehensive coverage makes this a valuable reference for your continued studies in theoretical computing.