L 凸多格骨牌可由二维元胞自动机实时识别
形式语言与自动机理论
2016-10-04 v1
摘要
如果一个多格骨牌的任意两个格都由一条最多改变一次方向的 4 连通内部路径连接，则称该多格骨牌是 L 凸的。S. Brocchi、A. Frosini、R. Pinzani 和 S. Rinaldi 最近证明了表示此类多格骨牌的二维语言可由平铺系统识别。为了比较平铺系统和元胞自动机的识别能力，我们证明了该语言可以由在冯·诺依曼邻域上实时工作的二维元胞自动机识别。尽管该构造使用了与平铺系统类似的 L 凸多格骨牌特征，但实时约束在平铺方面没有等价物，这要求使用元胞自动机特有的技术。
引用
@article{arxiv.1610.00323,
title = {L-Convex Polyominoes are Recognizable in Real Time by 2D Cellular Automata},
author = {Anaël Grandjean and Victor Poupet},
journal= {arXiv preprint arXiv:1610.00323},
year = {2016}
}