关于上下文有关语言与字问题的一个注记
群论
2008-02-03 v1
摘要
Anisimov 与 Seifert 证明了群具有正则字问题当且仅当它是有限群。Muller 与 Schupp（连同 Dunwoody 的可达性结果）证明了群具有上下文无关字问题当且仅当它是 virtually free（ virtually free 群）。在本注记中，我们给出一类群，其字问题尽可能接近上下文有关语言。此类包含自动群，并且在取有限生成子群下封闭。因此它是相当大的，包含许多非有限表示的群。
引用
@article{arxiv.math/9306204,
title = {A note on Context Sensitive languages and Word Problems},
author = {Michael Shapiro},
journal= {arXiv preprint arXiv:math/9306204},
year = {2008}
}
备注
AMS-Tex, 3 pages, no figures