输出在自由群中的线性树换能器的等价性
形式语言与自动机理论
2020-03-16 v2
摘要
我们证明当确定性线性树换能器的输出在自由群上解释时，其等价性可在多项式时间内判定。由于自由群提供的消去性质，所需构造不仅比证明确定性线性树到字换能器等价性的相应构造更一般，也更简单。
引用
@article{arxiv.2001.03480,
title = {Equivalence of Linear Tree Transducers with Output in the Free Group},
author = {Raphaela Löbel and Michael Luttenberger and Helmut Seidl},
journal= {arXiv preprint arXiv:2001.03480},
year = {2020}
}
备注
Minor changes based on some reviews. A short version of this paper will be published in the proceedings of DLT 2020