Reflexive Relations, Extensive Transformations and Piecewise Testable Languages of a Given Height
Reflexive Relations, Extensive Transformations and Piecewise Testable Languages of a Given Height
复制标题
DOI：
10.1142/s0218196704002018
复制
发表时间：
2004-10
期刊：
影响因子：
--
通讯作者：
Mikhail Volkov
中科院分区：
文献类型：
--
作者：
Mikhail Volkov
斯特劳宾从西蒙定理中推导出自反关系的幺半群以及保序扩张变换的幺半群生成-平凡幺半群的伪簇。我们完善这些结果表明，每个pseudowaries在西蒙的层次结构的平凡幺半群是由一个单一的关系/变换幺半群。从这一点和一些结果的Blanchet-Sadri我们得到一个完整的解决方案的有限基础问题的Straubing的幺半群。
Straubing deduced from Simon's theorem that monoids of reflexive relations as well as monoids of order preserving extensive transformations generate the pseudovariety of -trivial monoids. We refine these results by showing that each pseudovariety in Simon's hierarchy of -trivial monoids is generated by a single relation/transformation monoid. From this and from some results by Blanchet–Sadri we obtain a complete solution of the finite basis problem for Straubing's monoids.