通过项重写统一分析可折叠和有序下推自动机
形式语言与自动机理论
2014-10-16 v1
摘要
我们通过将高阶栈和多栈编码为树，利用项重写对可折叠和有序下推系统进行建模。我们展示了所得项重写系统类的一致性可识别性逆保持结果，该结果是通过扩展经典的基于饱和的方法获得的。这一结果涵盖并统一了关于可折叠和有序下推系统的类似分析。尽管关于项重写系统可识别性逆保持的文献丰富，但我们的结果似乎无法从任何先前的研究中推导出来。
引用
@article{arxiv.1410.4065,
title = {Unified Analysis of Collapsible and Ordered Pushdown Automata via Term Rewriting},
author = {Lorenzo Clemente},
journal= {arXiv preprint arXiv:1410.4065},
year = {2014}
}
备注
in Proc. of FREC