原点闭合自上而下采油树传感器的决策问题（完整版）
Decision problems for origin-close top-down tree transducers (full version)
摘要：
树转换是有限树的二元关系。对于由非确定性自上而下的树转换器定义的树转换，包含、等价和综合问题是不可判定的。将源语义添加到树转换，即，用每个输出节点所源自的输入节点来标记每个输出节点是恢复包含和等价的可判定性的已知方式。起源语义是相当严格的，在这项工作中，我们引入了一个相似性度量的传感器与起源语义，并表明我们可以决定包含，等价和合成问题的起源关闭非确定性自顶向下树传感器。
英文摘要：
Tree transductions are binary relations of finite trees. For tree transductions defined by non-deterministic top-down tree transducers, inclusion, equivalence and synthesis problems are known to be undecidable. Adding origin semantics to tree transductions, i.e., tagging each output node with the input node it originates from, is a known way to recover decidability for inclusion and equivalence. The origin semantics is rather rigid, in this work, we introduce a similarity measure for transducers with origin semantics and show that we can decide inclusion, equivalence and synthesis problems for origin-close non-deterministic top-down tree transducers.
机构、总结、中文摘要均由AI分析而来，可能存在错误，请以论文正文为准。
