自动机和形式语言的研究对于理解计算的极限是基础性的。
自由とは、自分自身に責任を持つことだ。