自动机和形式语言的研究对于理解计算的极限是基础性的。
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.
预测未来的最好方式就是创造未来。