Shape Preserving Tree Transducers

doi:10.1007/978-3-032-02602-6_12

2026-01-01

PRE

Paul Gallot *

Sebastian Maneth

DOI：10.1007/978-3-032-02602-6_12

原文链接

原文求助

摘要

En 中文

研究表明，形状保持对于自顶向下树转换器、自底向上树转换器以及完全确定性宏树转换器的组合是可判定的。此外，如果一个转换器是形状保持的，那么它可以被转化为一种特定的范式，其中每个输入节点创建恰好一个输出节点。

Keyword:

TOP-DOWN

BOTTOM-UP

期刊

IMPLEMENTATION AND APPLICATION OF AUTOMATA, CIAA 2025

IF:

论文数:

被引数:

机构

university of bremen

学者数:

1.1K

论文数: 577

被引数: 0

引用论文

On tree transducers for partial functions

Information Processing Letters

IF0

1978-06-01

PREAI

Engelfriet,Joost

Top-down tree transducers with regular look-ahead 自顶向下树转换器与正则向前看

Mathematical Systems Theory

IF0

1976-12-01

OAAI

Joost Engelfriet

Linear-bounded composition of tree-walking tree transducers: linear size increase and complexity

Acta Informatica

IF0

2021-04-01

PREAI

Engelfriet,Joost; Inaba,Kazuhiro; Maneth,Sebastian

Regularity and Related Problems for Deterministic Pushdown Automata

Journal of the ACM

IF0

1975-01-01

PREAI

Valiant,Leslie G.

Generalized2 sequential machine maps 广义2序列机器映射

Journal of Computer and System Sciences

IF0

1970-08-01

PREAI

James W. Thatcher

The equivalence problem for deterministic MSO tree transducers is decidable

Information Processing Letters

IF0

2006-12-01

PREAI

Engelfriet,Joost; Maneth,Sebastian

Decidability of the Finiteness of Ranges of Tree Transductions

Information and Computation

IF0

1998-08-01

PREAI

Drewes,Frank; Engelfriet,Joost

Composition of top-down and bottom-up tree transductions

Information and Control

IF0

1979-05-01

PREAI

Baker,Brenda S.

Mappings and grammars on trees

Mathematical Systems Theory

IF0

1970-09-01

OAAI

William C. Rounds

Monadic second-order definable graph transductions: a survey

Theoretical Computer Science

IF0

1994-04-01

OAAI

Bruno Courcelle

查看更多内容