宏树变换的翻译成员问题复杂度
形式语言与自动机理论
2009-10-14 v1 编程语言
摘要
宏树变换(mtt)是XML查询和转换语言的一个有用形式模型。本文研究了翻译的基本决策问题之一，即mtt的“翻译成员问题”。对于固定翻译，翻译成员问题询问给定的输入/输出对是否是该翻译的元素。对于按名调用mtt，该问题被证明是NP完全的。主要结果是，按值调用mtt的翻译成员问题属于多项式时间。对于若干扩展，例如添加正则前视或推广到多返回值mtt，我们证明了翻译成员问题仍然属于PTIME。
引用
@article{arxiv.0910.2315,
title = {The Complexity of Translation Membership for Macro Tree Transducers},
author = {Kazuhiro Inaba and Sebastian Maneth},
journal= {arXiv preprint arXiv:0910.2315},
year = {2009}
}
备注
9 pages, appeared at International Workshop on Programming Language Techniques for XML (PLAN-X 2009)