自仿射集与多带自动机的不可判定性质
形式语言与自动机理论
2014-09-26 v2 组合数学
动力系统
摘要
我们研究了来自分形几何的一些对象的拓扑性质的可判定性。我们证明了对于由二维图导向迭代函数系统定义的集合，其具有空内部是不可判定的。这些结果是通过研究一类与多带自动机相关的特定自仿射集而获得的。我们首先建立了此类自动机的一些语言理论性质的不可判定性，随后将其转化为关于其相关自仿射集的不可判定性结果。
引用
@article{arxiv.1401.0705,
title = {Undecidable properties of self-affine sets and multi-tape automata},
author = {Timo Jolivet and Jarkko Kari},
journal= {arXiv preprint arXiv:1401.0705},
year = {2014}
}
备注
10 pages, v2 includes some corrections to match the published version