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

The moment you doubt whether you can fly, you cease forever to be able to do it.

艺术不在于你看到了什么，而在于你让别人看到了什么。

Hardware is the skeleton of innovation, software is its nervous system, but human need is its beating heart.

are a soldier, do not fight for my freedom. Fight for the freedom of the soldier fighting next to you. This will make the war more inspiring for you both.

In computer science, we stand on each other's shoulders.

逻辑学研究不仅仅是关于推理规则，更是关于思想结构本身。