通过水平约束参数化研究 $\mathbb{Z}^2$ 有限型子移位的算法性质
动力系统
2024-10-07 v2
摘要
非空性问题（称为骨牌问题）以及 有限型子移位可能熵的刻画是符号动力学的标准问题。在本文中，我们将预先固定的水平约束作为参数来研究这些问题。我们确定了对于哪些水平约束，骨牌问题是不可判定的，以及何时所有右递归可枚举数都可以作为熵被获得，并采用了两种途径：要么添加到水平约束上的附加局部规则可以是任意形状的，要么它们只能是垂直规则。
引用
@article{arxiv.2203.00434,
title = {Parametrization by Horizontal Constraints in the Study of Algorithmic Properties of $\mathbb{Z}^2$-Subshift of Finite Type},
author = {Solène J. Esnay and Mathieu Sablik},
journal= {arXiv preprint arXiv:2203.00434},
year = {2024}
}