The study of automata and formal languages is fundamental to understanding the limits of computation.

We Germans will never get rid of Hitler. He is like a birthmark on our face.

Quality is more important than quantity. One home run is much better than two doubles.

商业的未来是数字化的，而数字化的未来在云端。

The challenge in computer science is not just to solve problems, but to understand why they are problems in the first place.