中文

Rauzy 维数与有限状态维数

信息论 2025-06-09 v2 形式语言与自动机理论 math.IT

摘要

1976 年,Rauzy 研究了两个复杂度函数 β\underline{\beta}β\overline{\beta} 对于有限字母上的无限序列。函数 β\underline{\beta} 在 Borel 正规序列上恰好取得最大值,而 β\overline{\beta} 在添加任何 Borel 正规序列后结果仍为 Borel 正规序列的序列上取得最小值。我们在 β\underline{\beta}h\underline{h} 以及 β\overline{\beta}h\overline{h} 之间建立了联系,通过为 h\underline{h} 提供 β\underline{\beta} 的尖锐上界和下界,并为 h\overline{h} 提供 β\overline{\beta} 的尖锐上界和下界。我们采用概率方法,通过考虑有限字母上的随机变量序列。证明依赖于对非对齐块熵 h\overline{h}h\underline{h} 的新表述,即以香农条件熵为基础。这些界限表明,具有 h=0\overline{h} = 0 的序列与 β=0\overline{\beta} = 0 的序列一致。我们还表明,非对齐块熵 h\underline{h}h\overline{h} 本质上是次可加的。

关键词

引用

@article{arxiv.2406.18383,
  title  = {Rauzy dimension and finite-state dimension},
  author = {Verónica Becher and Olivier Carton and Santiago Figueira},
  journal= {arXiv preprint arXiv:2406.18383},
  year   = {2025}
}