保持逆有限自动机非周期性的双字母群码
群论
2007-05-23 v1
摘要
我们构造了双字母上的群码（即双生成自由群的子群的基），具有特殊性质。此类群码可用于将大字母表上的算法问题归约到双字母字母表上的算法问题。我们的群码保持逆有限自动机的非周期性。作为应用，我们证明了以下问题在双字母字母表上是PSpace完全的（此前仅对足够大的有限字母表已知）：逆有限自动机的交空问题、逆有限自动机的非周期问题，以及自由群中有限生成子群的根闭包问题。三生成逆幺半群的成员问题是PSpace完全的。
引用
@article{arxiv.math/0701264,
title = {Two-letter group codes that preserve aperiodicity of inverse finite automata},
author = {Jean-Camille Birget and Stuart W. Margolis},
journal= {arXiv preprint arXiv:math/0701264},
year = {2007}
}
备注
10 pages