群图论中广义字问题的自动机理论方法
群论
2009-05-28 v1
摘要
我们利用自动机理论给出了Kapovich、Weidmann和Myasnikov最近一个结果的更简单证明，该结果指出所谓的良性群图保持广义字问题的可判定性。这些群图包括边群为多循环有限群、顶点群为局部拟凸双曲群或多循环有限群的图，特别地包括弦图群（右角Artin群）。
引用
@article{arxiv.0905.4395,
title = {An automata theoretic approach to the generalized word problem in graphs of groups},
author = {Markus Lohrey and Benjamin Steinberg},
journal= {arXiv preprint arXiv:0905.4395},
year = {2009}
}