我不是先知,我是信使。
自动机和形式语言的研究对于理解计算的极限是基础性的。
Science without religion is lame, religion without science is blind.
The only way to achieve the impossible is to believe it’s possible.