用宏树转换器刻画属性树翻译
形式语言与自动机理论
2022-09-16 v1
摘要
众所周知，属性树转换器可配备“正则环视”以获得更具鲁棒性的翻译类。我们给出该类基于宏树转换器（MTT）的两种刻画：第一种是对 MTT 规则的静态限制，其中 MTT 需配备正则环视；第二种是动态刻画，其中 MTT 仅需正则前瞻。
引用
@article{arxiv.2209.07090,
title = {Characterizing Attributed Tree Translations in Terms of Macro Tree Transducers},
author = {Kenji Hashimoto and Sebastian Maneth},
journal= {arXiv preprint arXiv:2209.07090},
year = {2022}
}