论有界自动机群的轨道与有限性
群论
2021-09-09 v3 形式语言与自动机理论
摘要
我们设计了一种算法，给定有界自动机 A，可判定由 A 生成的群是否有限。该解法源于利用确定性有限状态接收器对具有无穷 A-轨道的无穷序列进行刻画。该接收器亦可用于判定有界自动机是否水平传递作用。
引用
@article{arxiv.1912.06897,
title = {On Orbits and the Finiteness of Bounded Automaton Groups},
author = {Ievgen Bondarenko and Jan Philipp Wächter},
journal= {arXiv preprint arXiv:1912.06897},
year = {2021}
}
备注
Content and theorem numbers match the published version