自动机和形式语言的研究对于理解计算的极限是基础性的。
The study of automata and formal languages is fundamental to understanding the limits of computation.
为：同“伪”。“务为”即作假。盖：遮盖。虚：虚假。弄虚作假．时间不会太久；遮盖虚假的事情，时间也不会太长。
The beauty of computational theory lies in its ability to abstract the complexities of the world into manageable and understandable models.
When I got to 40 or so... I had the sense when I looked back over my life I would actually see a mess of decisions， a few of which I had thought about， some of which I had sort of stumbled on， and many that I had no control over whatsoever.
The simplest gesture can contain the most complex meaning.
寺院里经常有仙客出入，宰相之才出自书斋之中。