摘要：对于每个同态映射$Γ^+→S$，其中$S$是一个有限半群，我们证明存在一个高度为$≤3|S|$的分解森林。证明基于Green关系。
作者：Manfred Kufleitner (LaBRI)
论文ID：0710.5130
分类：Logic in Computer Science
分类简称：cs.LO
提交时间：2007-10-29
PDF 下载： 英文版 中文版pdf翻译中