格子语言的正变形

虽然语言为每个单词分配'是'或'否'的值，但格子语言则将给定格子中的元素分配给每个单词。格子语言的一个优势在于，可以定义语言的并与交作为并集与交集的泛化。这也允许定义正变形——在并、交、商和逆homomorphism下封闭的格子语言类。在本文中，我们扩展Pin的正变形定理，证明了正变形中正规格子语言与有限有序单子的伪变形之间的一一对应。此外，我们简要探讨了将有限状态马尔可夫链作为框架应用的代数方法。