由确定性盲幺半群自动机可识别的字的判定问题
群论
2007-05-23 v2
摘要
我们考虑盲的、确定性的、有限自动机，其配备一个存储给定幺半群中元素的寄存器，并通过右乘幺半群元素来修改。我们表明，对于取自包含群的一大类幺半群 M，此类自动机接受一个群 H 的字的判定问题，当且仅当 H 有一个嵌入 M 的单位群中的有限指数子群。在 M 为群的情形，这回答了 Elston 与 Ostheimer 的一个问题。
引用
@article{arxiv.math/0506137,
title = {Word problems recognisable by deterministic blind monoid automata},
author = {Mark Kambites},
journal= {arXiv preprint arXiv:math/0506137},
year = {2007}
}
备注
8 pages, fixed some typos and clarified ambiguity in the abstract, results unchanged