自下而上的单词和术语重写
摘要：线性术语重写系统的整个类别中，我们定义了“自底向上重写”，这是对常规重写概念的限制。我们证明了自底向上重写有效地逆向保留可识别性，并分析了底层构造的复杂性。根据定义，自底向上类（BU）是每个派生都可以被自底向上派生取代的线性系统的集合。确定成员是否属于BU是不可判定的，因此我们定义了更受限制的类别：强自底向上（k）类别SBU(k)，其中k是自然数，并证明了成员属于SBU(k)是可判定的。我们通过SBU = U_{k in \} SBU(k)定义了强自底向上系统的类别SBU。我们给出了一个多项式充分条件，用于判断系统是否属于SBU。SBU类别包含（严格）几个已知逆向保留可识别性的系统的类别：作为一元术语重写系统的逆向左基本半Thue系统，线性增长的术语重写系统，逆向线性有限路径排序系统。
作者：Irene Durand and Geraud Senizergues
论文ID：0903.2554
分类：Formal Languages and Automata Theory
分类简称：cs.FL
提交时间：2013-08-01