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

自动机和形式语言的研究对于理解计算的极限是基础性的。
We cannot know the cause, and therefore the effect, by reason alone.
Architecture is too complex to be solved by any one person. It needs a team.
历史给我们的教训是,人们从来都不知道汲取历史的教训。