关于由幺半群控制的文法、自动机和换能器的能力
形式语言与自动机理论
2011-03-18 v1 群论
摘要
在过去的几十年里，语言理论中的经典模型已经通过由幺半群定义的控制机制得到了扩展。我们研究哪些幺半群会导致上下文无关文法、有限自动机或有限状态换能器的扩展超出原始模型的能力。此外，我们研究了在扩展的自动机模型中，非确定性变体与确定性变体在能力上何时不同。我们证明所有这些条件实际上是等价的，并给出了一个代数刻画。特别地，关于有限幺半群上的价文法生成的每个语言是否都是上下文无关的这一开放问题，我们给出了肯定的答案。
引用
@article{arxiv.1103.3361,
title = {On the capabilities of grammars, automata, and transducers controlled by monoids},
author = {Georg Zetzsche},
journal= {arXiv preprint arXiv:1103.3361},
year = {2011}
}
备注
13 pages, submitted