Well-structured transition systems everywhere!
Well-structured transition systems everywhere!
复制标题
DOI：
10.1016/s0304-3975(00)00102-x
复制
发表时间：
2001-04-06
影响因子：
1.1
通讯作者：
Suhnoebelen, P
中科院分区：
文献类型：
--
作者：
Finkel, A;Suhnoebelen, P
良构转换系统（WSTS）是一类一般的无限状态系统，其可判定性结果依赖于状态之间是否存在与转换兼容的良准序。在这篇文章中，我们提供了一个广泛的治疗WSTS的想法，并显示了几个新的结果。我们改进的定义允许许多经典系统的例子被视为WSTS的实例。(C)2001 Elsevier Science B.V.保留所有权利。
Well-structured transition systems (WSTSs) are a general class of infinite-state systems for which decidability results rely on the existence of a well-quasi-ordering between states that is compatible with the transitions. In this article, we provide an extensive treatment of the WSTS idea and show several new results. Our improved definitions allow many examples of classical systems to be seen as instances of WSTSs. (C) 2001 Elsevier Science B.V. All rights reserved.