自动机和形式语言的研究对于理解计算的极限是基础性的。
要知道,终有一天,我们会是自由的。