[论文解读] Very Simple Chaitin Machines for Concrete AIT

Michael Stay|ArXiv.org|Aug 11, 2005

Computability, Logic, AI Algorithms参考文献 15被引用 7

一句话总结

本文引入了几种新型的极小通用Chaitin机器——特别是基于二进制lambda演算的机器Keraia，以及一种将空白结尾标记机器转换为前缀无关机器的方法——使得能够以明确的数值界限进行具体的算法信息论研究。主要贡献在于提供了极小、可实现的通用Chaitin机器，使算法复杂度和Omega数的比特数能够以已知误差项进行精确计算。

ABSTRACT

In 1975, Chaitin introduced his celebrated Omega number, the halting probability of a universal Chaitin machine, a universal Turing machine with a prefix-free domain. The Omega number's bits are {\em algorithmically random}--there is no reason the bits should be the way they are, if we define ``reason'' to be a computable explanation smaller than the data itself. Since that time, only {\em two} explicit universal Chaitin machines have been proposed, both by Chaitin himself. Concrete algorithmic information theory involves the study of particular universal Turing machines, about which one can state theorems with specific numerical bounds, rather than include terms like O(1). We present several new tiny Chaitin machines (those with a prefix-free domain) suitable for the study of concrete algorithmic information theory. One of the machines, which we call Keraia, is a binary encoding of lambda calculus based on a curried lambda operator. Source code is included in the appendices. We also give an algorithm for restricting the domain of blank-endmarker machines to a prefix-free domain over an alphabet that does not include the endmarker; this allows one to take many universal Turing machines and construct universal Chaitin machines from them.

研究动机与目标

• 为解决具体算法信息论中缺乏显式、可实现的通用Chaitin机器的问题。
• 提供新的、极小的通用Chaitin机器，其具有前缀无关的定义域，使得定理可带有具体的数值误差项，而非仅O(1)的界。
• 实现算法复杂度和Omega数比特数的实用计算，且误差项已知且可量化。
• 通过定义域限制，将现有通用图灵机（如空白结尾标记机器）扩展为通用Chaitin机器。
• 通过小型、高效且形式化定义的机器，支持算法信息论的实验与计算探索。

提出的方法

• 提出Keraia，一种基于6位通用图灵机（UTM）的柯里化lambda演算的二进制编码，采用贪心变量标记与归约算法。
• 借鉴Zot语言的组合逻辑方法，但将其修改为使用1组合子来配对分支而非应用，从而实现自解释行为。
• 提出一种定义域限制算法，通过移除结尾标记并确保任一输入都不是另一输入的前缀，从空白结尾标记机器（BEMs）中提取前缀无关子集。
• 通过将首次完整的二叉树遍历视为自定界程序，其余部分视为输入数据，使Keraia可作为通用Chaitin机器运行。
• 采用基于语法的解释系统，其中0编码恒等组合子，1编码配对组合子，并通过单独的R操作符模拟Chaitin的readBit函数。
• 在附录中提供JavaScript实现，从柯里化lambda方言启动，支持机器的执行与测试。

实验结果

研究问题

• RQ1 能否构建一种极小、可实现的通用Chaitin机器，以支持具有明确数值误差界限的具体算法信息论？
• RQ2 如何将空白结尾标记通用图灵机转换为具有前缀无关定义域的通用Chaitin机器？
• RQ3 支持自解释行为与前缀无关程序编码的通用Chaitin机器，其最小尺寸与复杂度是多少？
• RQ4 能否设计一种基于二进制lambda演算的系统，使其作为具有已知算法复杂度界限的通用Chaitin机器？
• RQ5 使用基于配对的1组合子的组合逻辑，对所得机器的通用性与前缀无关性有何影响？

主要发现

• Keraia是一种基于柯里化lambda演算二进制编码的6位通用图灵机，支持自解释计算与前缀无关程序编码。
• 本文提出一种通用算法，可将任意空白结尾标记机器转换为通用Chaitin机器，通过提取其前缀无关子集，从而实现对现有通用机器的复用。
• Keraia的设计使得停止概率（Omega数）可带已知常数项进行计算，文中指出Chaitin寄存器机的常数c至少为64，暗示类似界限也可推导至新机器。
• 通过在Keraia中增加R操作符，使其能够模拟Chaitin的readBit函数，从而成为有效的通用Chaitin机器。
• Keraia的源代码在附录中提供，支持直接实现与算法复杂度及Omega数计算的实验验证。
• 所提出的机器非常适合以精确误差界限计算Omega数的小段落，如文中所示，可产生比以往更小的丢番图方程。