通过术语重写统一分析可折叠和有序推动自动机
摘要：编码了高阶栈和多栈进树的方式，建立了可折叠和有序的推进系统。通过扩展经典的饱和基于方法，我们证明了引理式重写系统的这一类的一致逆保持的可识别性结果。该结果包含并统一了之前关于可折叠和有序推进系统的类似分析。尽管在引理式重写系统的逆保持的可识别性方面有很多丰富的文献，但我们的结果似乎并不能从任何以前的研究中得出。
作者：Lorenzo Clemente
论文ID：1410.4065
分类：Formal Languages and Automata Theory
分类简称：cs.FL
提交时间：2014-10-16