计算机科学>计算机科学中的逻辑
标题: 只有一个对象的类别中的产品
摘要: 我们考虑笛卡尔幺半群理论的自由模型的某些决策问题。 我们基于Ginsburg、Greibach和Harrison提出的单堆栈单向PDA的概念引入了一个计算模型。 此模型允许我们解决以下问题 (1) 给定有限的元素集B和元素F,F是B的成员的乘积吗? (2) 有限集B生成的子幺半群是无限的吗? 自由笛卡尔幺半群的某些片段。 这些片段包括右可逆元素的子幺半群,因此我们的结果适用于Thompson-Higman群。