更改

删除125字节 、 2024年12月28日 (六) 07:13
第117行: 第117行:  
</math>下,最小模型的复杂度。
 
</math>下,最小模型的复杂度。
   −
[[伯努利图灵机]](Bernoulli-Turing machine,简称BTM)是确定性通用图灵机的一种扩展,通过引入随机数发生器,可以生成离散的随机序列。伯努利图灵机包含输入纸带、输出纸带、有限状态控制单元和工作纸带。输入(输出)纸带单元只能按顺序读取(写入)一次,中间处理和存储由工作纸带提供,工作纸带允许双向访问其内容。在运行过程中,伯努利图灵机按照常规图灵机的方式读取纸带上的符号和自身的当前状态,并依据内置的规则表进行操作。与普通图灵机不同的是,当遇到与随机相关的规则时,它会根据随机数发生器的采样结果来决定具体的执行路径。例如,在某个状态下,图灵机可能有两种可选的操作,普通图灵机根据确定的规则选择其中一种,而伯努利图灵机则通过随机源以一定的概率来决定执行哪一种操作。<math>
+
[[伯努利图灵机]](Bernoulli-Turing machine,简称BTM)是确定性通用图灵机的一种扩展,通过引入随机数发生器,可以生成离散的随机序列。伯努利图灵机包含输入纸带、输出纸带、有限状态控制单元和工作纸带。在运行过程中,伯努利图灵机按照常规图灵机的方式读取纸带上的符号和自身的当前状态,并依据内置的规则表进行操作。与普通图灵机不同的是,其规则表中有一些与随机相关的规则时,它会根据随机数发生器的采样结果来决定具体的执行路径。例如,在某个状态下,图灵机可能有两种可选的操作,普通图灵机根据确定的规则选择其中一种,而伯努利图灵机则通过随机源(即随机数发生器)以一定的概率来决定执行哪一种操作。
−
M_{\min }(x \mid \mathrm{BTM})
  −
</math>这是在给定伯努利图灵机背景下的最小化模型<ref>C. H. Bennett. Dissipation, information, computational complexity, and the definition of organization. In D. Pines, editor, ''Emerging Syntheses in the Sciences''. Addison-Wesley,
     −
Redwood City, 1988.</ref>,用于捕捉序列<math>
+
<math>M_{\min }(x \mid \mathrm{BTM})</math>在给定伯努利图灵机背景下的最小化模型<ref>C. H. Bennett. Dissipation, information, computational complexity, and the definition of organization. In D. Pines, editor, ''Emerging Syntheses in the Sciences''. Addison-Wesley,
−
x
+
 
−
</math>的模式。这个模型是能够有效预测<math>
+
Redwood City, 1988.</ref>,用于捕捉序列<math>x</math>的模式。这个模型是能够有效预测<math>
 
x
 
x
 
</math>的最简单形式,且在该模型中尽量减少其复杂性。<math>
 
</math>的最简单形式,且在该模型中尽量减少其复杂性。<math>