自动机和形式语言的研究对于理解计算的极限是基础性的。
The study of automata and formal languages is fundamental to understanding the limits of computation.
Live as if you were to die tomorrow. Learn as if you were to live forever.
A man of genius makes no mistakes. His errors are volitional and are the portals of discovery.
文学的目的不是给出答案,而是提出问题。
预测未来的最好方式就是创造未来。
写作的行为就是发现你信仰的行为。