图灵机
一种抽象计算模型，由无限长的纸带、读写头和有限状态控制器组成，是计算理论和可计算性研究的基石
时间轴 (近 90 天)
形式语法是计算理论中描述语言生成规则的形式化系统，最经典的分类是乔姆斯基层级：正则语法、上下文无关语法、上下文相关语法和无限制语法，四者依次对应有限状态自动机、下推自动机、线性有界自动机和图灵机所能识别的语言类。
非确定性图灵机在每一步可以猜测多个可能的转移，只要存在一条接受路径就认为接受输入。
存在一类问题是不可计算的，没有任何算法能在有限步骤内给出确定答案。
1936年图灵证明，具备读写无限纸带、移动读写头以及有限状态转移能力的机器可以实现任何可计算函数。
Terry Tao构造了一类改进的Navier-Stokes方程，证明其解可以在有限时间内blow-up，且该过程能编码图灵机的计算步骤。
计算功能主义的思想可追溯至20世纪中期的功能主义转向，并与图灵机模型和认知科学中的计算机隐喻密切相关。
图灵机由一条无限长的纸带、一个读写头和一张有限状态转移表构成，每一步动作由当前状态与读到的符号唯一决定。
在计算理论中，oracle（神谕机）是图灵机模型的一个扩展，被赋予一个黑盒，该黑盒能在单步内回答某个特定判定问题。
忙碌海狸函数 BB(n) 定义为一台 n 状态、双符号图灵机在最终停机时能写下的最大 1 的数量。
没有任何单一基准能够完整刻画一个AI模型的全部能力
全部知识事实 (10)
形式语法是计算理论中描述语言生成规则的形式化系统，最经典的分类是乔姆斯基层级：正则语法、上下文无关语法、上下文相关语法和无限制语法，四者依次对应有限状态自动机、下推自动机、线性有界自动机和图灵机所能识别的语言类。
50%待验证非确定性图灵机在每一步可以猜测多个可能的转移，只要存在一条接受路径就认为接受输入。
50%待验证存在一类问题是不可计算的，没有任何算法能在有限步骤内给出确定答案。
50%待验证1936年图灵证明，具备读写无限纸带、移动读写头以及有限状态转移能力的机器可以实现任何可计算函数。
50%待验证Terry Tao构造了一类改进的Navier-Stokes方程，证明其解可以在有限时间内blow-up，且该过程能编码图灵机的计算步骤。
50%待验证计算功能主义的思想可追溯至20世纪中期的功能主义转向，并与图灵机模型和认知科学中的计算机隐喻密切相关。
50%待验证图灵机由一条无限长的纸带、一个读写头和一张有限状态转移表构成，每一步动作由当前状态与读到的符号唯一决定。
50%待验证在计算理论中，oracle（神谕机）是图灵机模型的一个扩展，被赋予一个黑盒，该黑盒能在单步内回答某个特定判定问题。
50%待验证忙碌海狸函数 BB(n) 定义为一台 n 状态、双符号图灵机在最终停机时能写下的最大 1 的数量。
50%待验证没有任何单一基准能够完整刻画一个AI模型的全部能力
50%