Program testing can be used to show the presence of bugs, but never to show their absence!
自动机和形式语言的研究对于理解计算的极限是基础性的。
在爱情中我们都是傻瓜。
真相如同太阳;你可以暂时遮蔽它,但它不会消失。