基于带可见与不可见卵石的树游走自动机与 transducer 的 XML 导航与转换
形式语言与自动机理论
2018-09-18 v1
摘要
卵石树自动机与卵石树 transducer 通过额外允许无界数量的“不可见”卵石（相对于通常的“可见”卵石）得到增强。所得到的卵石树自动机识别正则树语言（即可以验证所有广义 DTD），因此能找到所有 MSO 可定义模式的匹配。此外，当视作导航设备时，它们导出一种类 XPath 的形式体系，其对每个 MSO 可定义二元模式都有一条路径表达式。所得到的卵石树 transducer 可对其配置（的可观测部分）应用任意 MSO 可定义测试，它们（仍然）具有可判定的类型检查问题，并且可以建模 XSLT 的递归机制。使用不可见卵石常可降低那些使用 MSO 可定义模式的合取查询之类型检查问题的时间复杂度。
引用
@article{arxiv.1809.05730,
title = {XML Navigation and Transformation by Tree-Walking Automata and Transducers with Visible and Invisible Pebbles},
author = {Joost Engelfriet and Hendrik Jan Hoogeboom and Bart Samwel},
journal= {arXiv preprint arXiv:1809.05730},
year = {2018}
}
备注
96 pages, 6 figures, 7 tables