……对自动机理论扎实、接地气的探讨——但不侧重证明的话，排名不分先后，我会推荐以下几本：- M. Sipser 的《计算理论导引》[第一部分] - Torben A. Mogensen 的《编译器设计导论》 - P. Linz 的《形式语言与自动机导论》 - Thomas A. Sudkamp 的《语言与机器》 >楼主的很多反驳显得很小家子气 我读过这本书……
…solid, down-to-earth exploration of automata theory - but not so 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…
……自动化，这意味着它本身就可以被表述为一个程序。这个转换程序就叫做编译器，而被转换的文本被称为源文本（有时也叫源代码）。Mogensen 在《编译器设计导论》（Introduction to Compiler Design）第2版中写道：> 编译器将人类程序员编写的高级编程语言程序，翻译（或编译）成计算机所需的低级机器语言。……
…automated, which implies that it can be formulated as a program itself. The translation program is called a compiler, and the text to be translated is called source text (or sometimes source code). Mogensen, Introduction to Compiler Design, 2e: > A compiler translates (or compiles) a program written in a high-level programming language, that is suitable for human programmers, into the low-level machine language that is required by computers.…
Mogensen 的《编译器设计导论》（Introduction to Compiler Design）最新版（第3版）增加了关于 SSA 形式、垃圾回收、多态性以及模式匹配转换的新内容 [1]。[1] 《编译器设计导论》：https://link.springer.com/book/10.1007/978-3-031-46460-7
The latest edition (3rd Edition) of Introduction to Compiler Design by Mogensen has new topics on SSA form, garbage collection, polymorphism and translation of pattern matching [1]. [1] Introduction to Compiler Design: https://link.springer.com/book/10.1007/978-3-031-46460-7
On a related note: What's a good introduction to compiler design ? Has the dragon book been superseded by something yet? Ideally you'd be able to write a decent compiler for your own language after going through it.
……对自动机理论扎实、接地气的探讨——但不侧重证明的话，排名不分先后，我会推荐以下几本：- M. Sipser 的《计算理论导引》[第一部分] - Torben A. Mogensen 的《编译器设计导论》 - P. Linz 的《形式语言与自动机导论》 - Thomas A. Sudkamp 的《语言与机器》 >楼主的很多反驳显得很小家子气 我读过这本书……
…solid, down-to-earth exploration of automata theory - but not so 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…
……自动化，这意味着它本身就可以被表述为一个程序。这个转换程序就叫做编译器，而被转换的文本被称为源文本（有时也叫源代码）。Mogensen 在《编译器设计导论》（Introduction to Compiler Design）第2版中写道：> 编译器将人类程序员编写的高级编程语言程序，翻译（或编译）成计算机所需的低级机器语言。……
…automated, which implies that it can be formulated as a program itself. The translation program is called a compiler, and the text to be translated is called source text (or sometimes source code). Mogensen, Introduction to Compiler Design, 2e: > A compiler translates (or compiles) a program written in a high-level programming language, that is suitable for human programmers, into the low-level machine language that is required by computers.…
Mogensen 的《编译器设计导论》（Introduction to Compiler Design）最新版（第3版）增加了关于 SSA 形式、垃圾回收、多态性以及模式匹配转换的新内容 [1]。[1] 《编译器设计导论》：https://link.springer.com/book/10.1007/978-3-031-46460-7
The latest edition (3rd Edition) of Introduction to Compiler Design by Mogensen has new topics on SSA form, garbage collection, polymorphism and translation of pattern matching [1]. [1] Introduction to Compiler Design: https://link.springer.com/book/10.1007/978-3-031-46460-7
顺便问一句：有什么好的编译器设计入门书推荐吗？龙书（dragon book）被什么新书取代了吗？理想情况下，读完之后能为自己设计的语言写出一个像样的编译器。
On a related note: What's a good introduction to compiler design ? Has the dragon book been superseded by something yet? Ideally you'd be able to write a decent compiler for your own language after going through it.