The purpose of abstraction is not to be vague, but to create a new semantic level in which one can be absolutely precise.

我发现美国人和斯堪的纳维亚人更喜欢和女士一齐工作。回应一个关于他的电子发声器的美国口音问题。

自动机和形式语言的研究对于理解计算的极限是基础性的。

江河的水之所以浩浩荡荡，并非只由一个源头流出来；无比珍贵的皮衣，并非只由一只狐狸腋下的毛皮所能制成。