字符串重写系统的相对终止旧与新基准
摘要：对终止问题数据库（TPDB）中相对SRS终止的当前一系列基准进行了批判性评估：事实上，Waldmann_19和ICFP_10_relative中的大多数基准是严格终止的（即在考虑非严格规则时终止），因此应该将这些基准移除或重新标记。为了填补这一空白，我们列举了小型相对字符串重写系统。目前，对于2个字母的字母表，我们已经完全列举了大小为11的情况，对于3个字母的字母表，我们已经完全列举了大小为8的情况。对于一些选定的旧基准和新基准，我们讨论了如何证明终止，无论是自动化还是非自动化。
作者：Dieter Hofbauer, Johannes Waldmann
论文ID：2307.14149
分类：Logic in Computer Science
分类简称：cs.LO
提交时间：2023-07-27