自动机和形式语言的研究对于理解计算的极限是基础性的。
The study of automata and formal languages is fundamental to understanding the limits of computation.
If we don’t measure our impact, we’re just guessing at sustainability.
孤独是人类的常态。培养它。它如何深入你，让你的灵魂有空间成长。
最民主的建筑是为每个人服务的建筑。
经验只是我们给错误起的名字。
生活是记忆与遗忘之间永无止境的斗争。