[论文解读] On groups whose word problem is solved by a nested stack automaton

Robert Gilman Michael Shapiro|ArXiv.org|Dec 4, 1998

semigroups and automata theory参考文献 16被引用 13

一句话总结

本文证明，任何其字问题可被嵌套栈自动机识别的可访问群必为拟自由群。作者运用形式语言理论与群论技术，表明此类自动机仅能捕捉具有有限指数自由子群的群的字问题，从而通过自动机理论约束刻画了一类广泛的群。

ABSTRACT

Accessible groups for which the language of all words defining the identity is accepted by a certain class of nested stack automata are virtually free.

研究动机与目标

• 刻画其字问题可被嵌套栈自动机识别的群。
• 利用形式语言理论确定此类群的结构性质。
• 研究自动机理论约束与群论有限性条件之间的关系。
• 证明仅有拟自由群满足其字问题可被嵌套栈自动机接受的条件。
• 拓展对可判定字问题与具有特定自动机表示的字问题之间边界的理解。

提出的方法

• 分析群中表示单位元的所有字的语言。
• 应用嵌套栈自动机理论，此类自动机为具有层次化栈操作的堆栈类自动机。
• 运用群论中的可访问性概念，限制所考虑群的类别。
• 应用嵌套栈语言的封闭性质及其与上下文无关语言的关系。
• 运用群论结果，特别是关于拟自由群的结果，以约束可能的群结构。
• 结合形式语言理论与几何群论，推导出关于群结构的结论。

实验结果

研究问题

• RQ1 哪些群的字问题可被嵌套栈自动机识别？
• RQ2 此类群必须具备哪些结构性质？
• RQ3 嵌套栈自动机能捕捉非拟自由群的字问题吗？
• RQ4 可访问性条件如何与字问题上的自动机理论约束相互作用？
• RQ5 嵌套栈自动机与拟自由群类之间的确切关系为何？

主要发现

• 群中所有定义单位元的字的语言可被嵌套栈自动机接受，当且仅当该群为拟自由群。
• 其字问题可被嵌套栈自动机求解的可访问群必包含有限指数的自由子群。
• 可被嵌套栈自动机识别字问题的群类恰好是拟自由群类。
• 该结果建立了自动机理论复杂性与群论结构之间的强关联。
• 证明依赖于嵌套栈语言的封闭性质及其与群表示的关系。
• 分析确认，任何非拟自由的可访问群均无法通过嵌套栈自动机求解其字问题。