多循环幺半群的有理子集与压值自动机
环与代数
2007-10-22 v1
摘要
我们研究了由具有有理目标集的压值自动机（或等价地，具有有理目标集的正则压值文法）所定义的语言类，其中压值幺半群选自重要的多循环幺半群类。我们证明，对于秩为 2 或更高的多循环幺半群，此类自动机恰好接受上下文无关语言。对于秩为 1 的多循环幺半群（即双循环幺半群），它们接受的语言类严格包含部分盲单计数器语言。证明的关键在于描述多循环和双循环幺半群的有理子集，其其他推论包括这些幺半群有理子集成员问题的可判定性，以及有理子集类在交集和补集运算下的封闭性。
引用
@article{arxiv.0710.3711,
title = {Rational subsets of polycyclic monoids and valence automata},
author = {Elaine Render and Mark Kambites},
journal= {arXiv preprint arXiv:0710.3711},
year = {2007}
}
备注
15 pages