关于单生成自由逆幺半群的有理子集
群论
2022-11-14 v2 形式语言与自动机理论
摘要
我们证明单生成自由逆幺半群 的有理子集的相等问题是可判定的。一个 的有理子集是否可识别也是可判定的。我们证明 的子幺半群是有理的当且仅当它是有限生成的。我们还证明有限 -above 幺半群的有理子集的成员问题可判定，覆盖了自由逆幺半群的情形。
引用
@article{arxiv.2205.08854,
title = {On the rational subsets of the monogenic free inverse monoid},
author = {Pedro V. Silva},
journal= {arXiv preprint arXiv:2205.08854},
year = {2022}
}