单带图灵机熵的可计算性

Emmanuel Jeandel

单带图灵机熵的可计算性

形式语言与自动机理论 2013-02-06 v1 计算复杂性信息论动力系统 math.IT

作者: Emmanuel Jeandel

摘要

我们证明了单带图灵机的最大速度和熵是可计算的，即我们可以将它们近似到任意给定的精度 $\epsilon$ 。这与普遍看法相反，因为图灵机的所有动力学性质通常是不可判定的。该结果特定于单带图灵机，根据 Blondel 等人的结果，这对于双带图灵机不再成立，并且使用了 Hennie 引入的穿越序列（crossing sequences）方法。

关键词

单带图灵机可计算性熵最大速度穿越序列动力学性质

引用

@article{arxiv.1302.1170,
  title  = {Computability of the entropy of one-tape Turing Machines},
  author = {Emmanuel Jeandel},
  journal= {arXiv preprint arXiv:1302.1170},
  year   = {2013}
}

备注

First version (01/08/2012)

单带图灵机熵的可计算性

摘要

关键词

引用

备注

相关论文