概念Turing Machine
图灵机
一种抽象计算模型，由无限长的纸带、读写头和有限状态控制器组成，是计算理论和可计算性研究的基石
时间轴 (近 90 天)
10月20日
图灵机由一条无限长的纸带、一个读写头和一张有限状态转移表构成，每一步动作由当前状态与读到的符号唯一决定。
待验证50%
10月14日
在计算理论中，oracle（神谕机）是图灵机模型的一个扩展，被赋予一个黑盒，该黑盒能在单步内回答某个特定判定问题。
待验证50%
10月13日
忙碌海狸函数 BB(n) 定义为一台 n 状态、双符号图灵机在最终停机时能写下的最大 1 的数量。
待验证50%