重写闭包与上下文无关树篱自动机
计算机科学中的逻辑
2012-12-21 v1 数据库
形式语言与自动机理论
摘要
我们引入了树篱自动机的一种扩展，称为二维上下文无关树篱自动机。它们识别的无秩有序树语言类被证明在逆一元规则的重写闭包下保持不变。我们还扩展了先前工作中用于建模W3C XQuery更新工具的带参数重写规则，增加了在给定节点上方插入新父节点的可能性。我们证明了使用这些扩展重写系统的树篱自动机语言的重写闭包是上下文无关树篱语言。
引用
@article{arxiv.1212.5108,
title = {Rewrite Closure and CF Hedge Automata},
author = {Florent Jacquemard and Michael Rusinowitch},
journal= {arXiv preprint arXiv:1212.5108},
year = {2012}
}