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

自动机和形式语言的研究对于理解计算的极限是基础性的。
The study of automata and formal languages is fundamental to understanding the limits of computation.
"A story is a way to say something that can't be said any other way."
最危险的事情就是自以为知道自己在做什么。