自动机和形式语言的研究对于理解计算的极限是基础性的。
The world is full of people whose notion of a satisfactory future is, in fact, a return to the idealised past.
I write to understand, to grasp the reality that escapes me.