摘要：树到树的变换可以用一阶逻辑或单调二阶逻辑进行定义。我们证明了一个分解定理，它表明每一个变换都可以通过使用组合器（如函数组合）从原始变换（如树到树的同态映射或前序遍历）获得。
作者：Miko{l}aj Boja''nczyk and Amina Doumane
论文ID：2002.09307
分类：Formal Languages and Automata Theory
分类简称：cs.FL
提交时间：2023-01-31
PDF 下载： 英文版 中文版pdf翻译中