有限有序半群引发的偏序
摘要：由于给定的上下文无关规则，Bucher，Ehrenfeucht和Haussler于1985年研究了与之相关的导出关系。他们的研究引发了一个关于从所有字的半群到有限有序半群的同态的问题。问题是这些同态中哪些能够在所有字的集合上诱导出一个良序。我们证明了这个问题是可判定的，并且答案不依赖于同态，而是有序半群的一个性质。
作者：Ondv{r}ej Kl''ima and Jonatan Kolegar
论文ID：2203.06535
分类：Formal Languages and Automata Theory
分类简称：cs.FL
提交时间：2022-03-15