自动机和形式语言的研究对于理解计算的极限是基础性的。
The study of automata and formal languages is fundamental to understanding the limits of computation.
说话有分寸则少得罪人;行为有节制则少悔恨;爱慕有节制则要求少;快乐有节制则祸败少;饮食有节制则疾病少。
作家不过是一个用文字代替摇鼓和鼓声的萨满。
The most successful products are those that anticipate needs people didn't know they had.
The laws of physics produce complex structures, and in at least one case, a complex structure produces the laws of physics.
真正的问题不在于机器是否会思考,而在于人类是否会思考。