Trotter-Weil层级上ω-项的字问题
形式语言与自动机理论
2017-05-17 v2 群论
摘要
对于两个给定的ω-项α和β，簇V上ω-项的字问题询问是否在V中的所有幺半群中α = β。我们证明，Trotter-Weil层级每一层上ω-项的字问题是可判定的。更精确地说，对于Trotter-Weil层级中的每个固定簇，我们的方法给出了一个非确定性对数空间（NL）中的算法。此外，我们提供了确定性的多项式时间算法，它们比NL算法的直接翻译更高效。作为我们结果的一个应用，我们证明，由Trotter-Weil层级所谓的角所定义的分离性可由ω-项见证（此性质也称为ω-可归约性）。特别地，Trotter-Weil层级角的分离问题是可判定的。
引用
@article{arxiv.1509.05364,
title = {The Word Problem for Omega-Terms over the Trotter-Weil Hierarchy},
author = {Manfred Kufleitner and Jan Philipp Wächter},
journal= {arXiv preprint arXiv:1509.05364},
year = {2017}
}