……《Introduction to the Theory of Computation》很棒，Hopcroft 等人写的那本也非常好（正如其他人建议的）。但对于这个领域来说，最适合新手（或者说数学负担最小）的入门书显然是 Peter Linz 的《Introduction to Formal Languages and Automata》。讲类似话题但风格不太一样的，还可以看看这本免费书：http://cs.brown.edu/people/jsavage/book/
…Computation is great and the one by Hopcroft et al is also very good (as suggested by others). But the most beginner-friendly (or, light on math) coverage of this area is apparently in Peter Linz's book "Introduction to Formal Languages and Automata". An alternative flavor in the treatment of much of the same topics is in this free book: http://cs.brown.edu/people/jsavage/book/
……CS（我不是 CS 专业科班出身）。以下是我觉得最有用/最有趣的书：1. Charles Petzold 的《The Annotated Turing》：读这本是因为我很难直接啃懂 Alan Turing 的原版论文；2. Peter Linz 的《An Introduction to Formal Languages and Automata》：用来搞懂状态机概念；3. Iverson 的《The description of sequential processes》；4. CLRS（算法导论）：留在手边当参考书。然后我还学了一堆数学书，以及其他……
…CS(I'm not a CS graduate) Here are the books I found most useful/interesting: 1. The Annotated Turing by Charles Petzold : Used it because I had a hard time digesting the original Alan Turing paper 2. An Introduction to Formal Languages and Automata by Peter Linz : To grab the concept of state machines 3. The description of sequential processes by Iverson 4. Clrs: Have kept it for reference Then I studied a matrix of math books, along with other…
……太多证明，那我推荐以下几本，排名不分先后：- M. Sipser 的《Introduction to the Theory of Computation》[第一部分] - Torben A. Mogensen 的《Introduction to Compiler Design》 - P. Linz 的《An introduction to Formal Languages and Automata》 - Thomas A. Sudkamp 的《Languages and Machines》 >楼主的很多反对意见显得有些吹毛求疵 我亲自拿过那本书，自己翻过页，亲眼看过排版。那简直……
…much proofs, then I would recommend these in no particular order: - "Introduction to the Theory of Computation" [Part I] by M. Sipser - "Introduction to Compiler Design" by Torben A. Mogensen - "An introduction to Formal Languages and Automata" by P. Linz - "Languages and Machines" by Thomas A. Sudkamp >Many of OP's objections come off as petty I have had the book in my hands, I have turned the pages and seen the typesetting myself. It's…
……统计学、线性代数等都是其他课程的先修课。所以看看那些书会不会被当成“威胁秩序”给拦截下来。如果能送进去并且他读完了，再试着寄像《An Introduction to Formal Languages and Automata》、《A First Course in Combinatorial Optimization》之类的书。还有像 FAMM 这样的监狱改革团体，你也可以去联系一下。
…statistics, linear algebra etc. were prerequisites to other courses. So see if those books are blocked as a "threat to order". If those get through and he reads through them, try sending things like "An Introduction to Formal Languages and Automata", "A First Course in Combinatorial Optimization" and this sort of thing. There are also prison reform groups like FAMM that you can talk to.
这些书涵盖了我大学里学过的一部分课题：Donald Knuth 的《The Art of Computer Programming》、Thomas Cormen 的《Introduction to Algorithms》、Peter Linz 的《An Introduction to Formal Languages and Automata》、Morris H. DeGroot 的《Probability and Statistics》、William Stallings 的《Operating Systems: Internals and Design Principles》、Christof Paar 的《Understanding Cryptography》、Database Systems:……
Those books cover a part of topics I've studied at the University: The Art of Computer Programming by Donald Knuth Introduction to Algorithms by Thomas Cormen An Introduction to Formal Languages and Automata by Peter Linz Probability and Statistics by by Morris H. DeGroot Operating Systems: Internals and Design Principles by William Stallings Understanding Cryptography by Christof Paar Database Systems:…
……《Introduction to the Theory of Computation》很棒，Hopcroft 等人写的那本也非常好（正如其他人建议的）。但对于这个领域来说，最适合新手（或者说数学负担最小）的入门书显然是 Peter Linz 的《Introduction to Formal Languages and Automata》。讲类似话题但风格不太一样的，还可以看看这本免费书：http://cs.brown.edu/people/jsavage/book/
…Computation is great and the one by Hopcroft et al is also very good (as suggested by others). But the most beginner-friendly (or, light on math) coverage of this area is apparently in Peter Linz's book "Introduction to Formal Languages and Automata". An alternative flavor in the treatment of much of the same topics is in this free book: http://cs.brown.edu/people/jsavage/book/
……CS（我不是 CS 专业科班出身）。以下是我觉得最有用/最有趣的书：1. Charles Petzold 的《The Annotated Turing》：读这本是因为我很难直接啃懂 Alan Turing 的原版论文；2. Peter Linz 的《An Introduction to Formal Languages and Automata》：用来搞懂状态机概念；3. Iverson 的《The description of sequential processes》；4. CLRS（算法导论）：留在手边当参考书。然后我还学了一堆数学书，以及其他……
…CS(I'm not a CS graduate) Here are the books I found most useful/interesting: 1. The Annotated Turing by Charles Petzold : Used it because I had a hard time digesting the original Alan Turing paper 2. An Introduction to Formal Languages and Automata by Peter Linz : To grab the concept of state machines 3. The description of sequential processes by Iverson 4. Clrs: Have kept it for reference Then I studied a matrix of math books, along with other…
……太多证明，那我推荐以下几本，排名不分先后：- M. Sipser 的《Introduction to the Theory of Computation》[第一部分] - Torben A. Mogensen 的《Introduction to Compiler Design》 - P. Linz 的《An introduction to Formal Languages and Automata》 - Thomas A. Sudkamp 的《Languages and Machines》 >楼主的很多反对意见显得有些吹毛求疵 我亲自拿过那本书，自己翻过页，亲眼看过排版。那简直……
…much proofs, then I would recommend these in no particular order: - "Introduction to the Theory of Computation" [Part I] by M. Sipser - "Introduction to Compiler Design" by Torben A. Mogensen - "An introduction to Formal Languages and Automata" by P. Linz - "Languages and Machines" by Thomas A. Sudkamp >Many of OP's objections come off as petty I have had the book in my hands, I have turned the pages and seen the typesetting myself. It's…
……统计学、线性代数等都是其他课程的先修课。所以看看那些书会不会被当成“威胁秩序”给拦截下来。如果能送进去并且他读完了，再试着寄像《An Introduction to Formal Languages and Automata》、《A First Course in Combinatorial Optimization》之类的书。还有像 FAMM 这样的监狱改革团体，你也可以去联系一下。
…statistics, linear algebra etc. were prerequisites to other courses. So see if those books are blocked as a "threat to order". If those get through and he reads through them, try sending things like "An Introduction to Formal Languages and Automata", "A First Course in Combinatorial Optimization" and this sort of thing. There are also prison reform groups like FAMM that you can talk to.
这些书涵盖了我大学里学过的一部分课题：Donald Knuth 的《The Art of Computer Programming》、Thomas Cormen 的《Introduction to Algorithms》、Peter Linz 的《An Introduction to Formal Languages and Automata》、Morris H. DeGroot 的《Probability and Statistics》、William Stallings 的《Operating Systems: Internals and Design Principles》、Christof Paar 的《Understanding Cryptography》、Database Systems:……
Those books cover a part of topics I've studied at the University: The Art of Computer Programming by Donald Knuth Introduction to Algorithms by Thomas Cormen An Introduction to Formal Languages and Automata by Peter Linz Probability and Statistics by by Morris H. DeGroot Operating Systems: Internals and Design Principles by William Stallings Understanding Cryptography by Christof Paar Database Systems:…