自动机半群：新构造结果与非自动机半群实例
群论
2017-01-17 v2 形式语言与自动机理论
摘要
本文从两个视角研究自动机半群类：构造下的闭包，以及非自动机半群的半群例子。我们证明有限半群的（半群）自由积总是作为自动机半群出现，且自动机幺半群类在与有限幺半群形成圈积下封闭。我们也考虑在某些类型的Rees矩阵构造、强半格和小扩张下的闭包。最后，我们证明的任何子半群都不作为自动机半群出现。（此前，本身是已知的唯一一个不出现为自动机半群的有限生成剩余有限半群例子。）
引用
@article{arxiv.1601.01168,
title = {Automaton semigroups: new construction results and examples of non-automaton semigroups},
author = {Tara Brough and Alan J. Cain},
journal= {arXiv preprint arXiv:1601.01168},
year = {2017}
}
备注
27 pages, 6 figures; substantially revised