夢は、現実になるためにある。
Happiness is not the belief that we don't need to change; it is the realization that we can.
自动机和形式语言的研究对于理解计算的极限是基础性的。
诗人是梦想的编织者。