有限与无限的边界是计算理论中最实用的分界线

有限自动机（无额外存储）只能处理正则语言，加上栈（无界但后进先出）可以处理上下文无关语言，加上无界读写带则达到图灵完备。每一步"从有限到无限"的扩展都精确地释放了新的计算能力。这个模式告诉我们：系统能力的每次质变，几乎都对应着某个资源从"受限"到"不受限"的突破。反之，限制资源是控制复杂度的根本手段。