Functionality of compositions of top-down tree transducers is decidable

INFORMATION AND COMPUTATION（2024）

引用 0|浏览1

暂无评分

摘要

We prove that functionality of compositions of top-down tree transducers is decidable by reducing the problem to the functionality of one top-down tree transducer with look ahead.(c) 2023 The Author(s). Published by Elsevier Inc. This is an open access article under the CC BY license (http://creativecommons .org /licenses /by /4 .0/).

查看译文

关键词

Functionality,Decidability,Top-down tree transducer

AI 理解论文

溯源树

样例

生成溯源树，研究论文发展脉络

Chat Paper

正在生成论文摘要