The relation between what we see and what we know is never settled.
The true value of a mathematical theory lies in its ability to connect seemingly unrelated ideas.
自动机和形式语言的研究对于理解计算的极限是基础性的。