Learning is not a matter of trial and error, but of insight.
作家最伟大的工具不是笔,而是通过他人的眼睛看世界的能力。
自动机和形式语言的研究对于理解计算的极限是基础性的。