符号树换能器的前向与后向应用
形式语言与自动机理论
2012-08-28 v1
摘要
我们考虑符号树自动机 (sta) 和符号树换能器 (stt)。我们利用（经典）可识别树语言和重标记来刻画 s-可识别树语言（即由 sta 可识别的树语言）。我们证明了 sta 与最近引入的变量树自动机在识别能力上是不可比的。我们定义了符号正则树文法，并利用正则树语言和重标记刻画了 s-正则树语言。由此可得，s-可识别树语言与 s-正则树语言是相同的。我们表明，两个 stt 的句法组合计算了每个 stt 所计算的树变换的组合，前提是：(1) 第一个是确定性的，或者第二个是线性的；且 (2) 第一个是全定义的，或者第二个是非删除的。我们考虑了 stt 的前向应用和后向应用，并证明了对任意 s-可识别树语言进行 stt 的后向应用所产生的结果仍是 s-可识别树语言。我们给出了一个线性 stt，其值域不是 s-可识别树语言。我们证明了简单且线性的 stt 的前向应用保持 s-可识别性。作为推论，我们得出简单且线性 stt 的类型检查问题以及任意 stt 的逆类型检查问题是可判定的。
引用
@article{arxiv.1208.5324,
title = {Forward and Backward Application of Symbolic Tree Transducers},
author = {Zoltán Fülöp and Heiko Vogler},
journal= {arXiv preprint arXiv:1208.5324},
year = {2012}
}