—— 请按键盘 空白键 开始游戏 ——

自动机和形式语言的研究对于理解计算的极限是基础性的。
The study of automata and formal languages is fundamental to understanding the limits of computation.
"Science is not just a collection of facts, but a way of thinking."
最终,重要的不是你生命中的岁月,而是岁月中的生命。
要想改变世界需先改变他自己。
The best books are those that stay with you long after you’ve read them.