具有双曲与树状 Schützenberger 图的逆幺半群的算法性质
群论
2022-11-18 v3
摘要
我们证明，其 Schützenberger 图与树拟等距的有限呈现逆幺半群类具有一致可解的字问题，此外，其 Schützenberger 自动机的语言是上下文无关的。另一方面，我们表明存在一个具有双曲 Schützenberger 图且字问题不可解的有限呈现逆幺半群。
引用
@article{arxiv.1912.00950,
title = {Algorithmic properties of inverse monoids with hyperbolic and tree-like Sch\"utzenberger graphs},
author = {Robert D. Gray and Pedro V. Silva and Nóra Szakács},
journal= {arXiv preprint arXiv:1912.00950},
year = {2022}
}
备注
Revised version with minor changes