多项式时间内判定线性树到词转换器的等价性
形式语言与自动机理论
2016-06-14 v1
摘要
我们证明了确定性线性自顶向下树到词转换器的等价性可在多项式时间内判定。线性树到词转换器是非复制的，但不一定保持顺序，可用于表达 XML 和其他文档转换。该结果基于一种部分范式，该范式提供了对线性树到词转换器所产生语言的基本刻画。
引用
@article{arxiv.1606.03758,
title = {Deciding Equivalence of Linear Tree-to-Word Transducers in Polynomial Time},
author = {Adrien Boiret and Raphaela Palenta},
journal= {arXiv preprint arXiv:1606.03758},
year = {2016}
}
备注
short version of this paper will be published in the proceedings of the 20th Conference on Developments in Language Theory (DLT 2016), Montreal, Canada