自动机和形式语言的研究对于理解计算的极限是基础性的。
Mental processes exist because they serve a purpose.
Every design is a rigorous attempt to capture a concrete moment in a continuous process.