更改

梯径理论和 AIT紧密相关（两者都寻求对象的最短描述），然而在范围和可计算性上稍有不同。它不是进行通用压缩，而是模拟一个领域特定的构造机器，该机器执行一系列组合操作（连接、键合等），并在一个组装池（assembly pool）中跟踪可重用的子单元。这产生了构建过程的层级化多重集表示（梯图，laddergraph），从而得到两个可计算的度量：

梯径理论和 AIT紧密相关（两者都寻求对象的最短描述），然而在范围和可计算性上稍有不同。它不是进行通用压缩，而是模拟一个领域特定的构造机器，该机器执行一系列组合操作（连接、键合等），并在一个组装池（assembly pool）中跟踪可重用的子单元。这产生了构建过程的层级化多重集表示（梯图，laddergraph），从而得到两个可计算的度量：

* 梯径度（<math>\lambda</math>, ladderpath-index）：重构目标序列结构最少的组装步骤数。

-梯径度（<math>\lambda</math>, ladderpath-index）：重构目标序列结构最少的组装步骤数。

* 有序度（<math>\omega</math>, order-index）：通过重用节省的开销，即结构有序度。

-有序度（<math>\omega</math>, order-index）：通过重用节省的开销，即结构有序度。

这些度量满足公式<math>S=\lambda+\omega</math>，其中<math>S</math>是规模度（size-index）（即无重用构造的成本）。至关重要的是，这个框架对于有限对象是可计算的，为柯尔莫哥洛夫复杂度的不可行计算提供了一种实用的替代方案。

这些度量满足公式<math>S=\lambda+\omega</math>，其中<math>S</math>是规模度（size-index）（即无重用构造的成本）。至关重要的是，这个框架对于有限对象是可计算的，为柯尔莫哥洛夫复杂度的不可行计算提供了一种实用的替代方案。