分支良构转换系统及其扩展
摘要：对于良构过渡系统 (WSTS) 的定义，我们提出了一种放松，并保持有界性和终止性的可决定性。在我们的类别中，我们减轻了良序偏序 (wqo) 条件，使其仅适用于可相互达到的状态之间。此外，我们还以同样的方式放松了单调性条件。虽然这保持了终止性和有界性的可决定性，但似乎覆盖性问题是不可判定的。为此，我们定义了一种新的单调性概念，称为覆盖单调性，它比通常的单调性更一般，并且仍然可以用于决定覆盖性问题的一种受限形式。
作者：Benedikt Bollig, Alain Finkel, Amrita Suresh
论文ID：2211.15913
分类：Logic in Computer Science
分类简称：cs.LO
提交时间：2023-07-25