自动机和形式语言的研究对于理解计算的极限是基础性的。
The study of automata and formal languages is fundamental to understanding the limits of computation.
My motto has always been: A career open to all talents, without distinctions of birth.
Pressure can either burst pipes or make diamonds.
If you're not failing occasionally, you're not pushing hard enough.
道理明白了，文辞就能表达清楚；文辞表达清楚了，道理也就明白了。
Never invest in any idea you can't illustrate with a crayon.
预测未来的最好方法就是创造未来。
唯一防御世界的围墙就是彻底了解它。