关于树到词转换器的平衡性
形式语言与自动机理论
2020-03-16 v2
摘要
在由开口（A）与闭口（）括号组成的字母表 上的语言，若其为 B 上 Dyck 语言 的子集则称为平衡的，若所有词均为 中词的前缀则称为良构的。我们证明上下文无关语言的良构性可在多项式时间内判定，且最长公共归约后缀可在多项式时间内计算。据此，我们对具有输出字母表 的非线性树转换器类 2-TW，判定其输出语言是否平衡。
引用
@article{arxiv.1911.13054,
title = {On the Balancedness of Tree-to-word Transducers},
author = {Raphaela Löbel and Michael Luttenberger and Helmut Seidl},
journal= {arXiv preprint arXiv:1911.13054},
year = {2020}
}
备注
Major changes in Section 3 Balancedness of 2-TWs: instead of proving equivalence of LTWs over the involutive monoid we use the result that equivalence of LTWs over the free group is decidable in polynomial time (arXiv:2001.03480). A short version will be published in the conference proceedings of DLT 2020