Peace is not the absence of war, but a virtue based on strength of character.
自动机和形式语言的研究对于理解计算的极限是基础性的。