Definability Results for Top-Down Tree Transducers

被引：0
|
作者：
Maneth, Sebastian [1 ]
Seidl, Helmut [2 ]
Vu, Martin [1 ]
机构：
[1] Univ Bremen, FB3 Informat, Bremen, Germany
[2] Tech Univ Munich, Fak Informat, Munich, Germany
来源：
INTERNATIONAL JOURNAL OF FOUNDATIONS OF COMPUTER SCIENCE | 2023年 / 34卷 / 02N03期
关键词：
Transducer; homomorphism; linearity;
D O I：
10.1142/S0129054122440051
中图分类号：
TP301 [理论、方法];
学科分类号：
081202 ;
摘要：
Top-down tree transducers are well established formalism for describing tree translations. Such transducers can be further enhanced with look-ahead allowing them to inspect input subtrees before processing them. Oftentimes it is advantageous to know when the look-ahead can be eliminated and the translation be implemented by a simpler transducer. We show that for a given top-down transducer with look-ahead it is decidable whether or not its translation is definable (1) by a linear deterministic top-down tree transducer or (2) by a tree homomorphism. We present algorithms that construct equivalent such transducers if they exist. Our results also apply to bottom-up transducers as well as compositions of transducers.
引用
收藏
页码：253 / 287
页数：35
相关论文
共 50 条
  • [1] Definability Results for Top-Down Tree Transducers
    Maneth, Sebastian
    Seidl, Helmut
    Vu, Martin
    DEVELOPMENTS IN LANGUAGE THEORY, DLT 2021, 2021, 12811 : 291 - 303
  • [2] Compositions of Top-Down Tree Transducers with ε-Rules
    Maletti, Andreas
    Vogler, Heiko
    FINITE-STATE METHODS AND NATURAL LANGUAGE PROCESSING, 2010, 6062 : 69 - +
  • [3] Superlinear Deterministic Top-down Tree Transducers
    Bull Eur Assoc Theor Comput Sci, 64 (352):
  • [4] Shape preserving top-down tree transducers
    Fülöp, Z
    Gazdag, Z
    THEORETICAL COMPUTER SCIENCE, 2003, 304 (1-3) : 315 - 339
  • [5] On injectivity of deterministic top-down tree transducers
    Fulop, Z., 1600, (48):
  • [6] THE POWER OF EXTENDED TOP-DOWN TREE TRANSDUCERS
    Maletti, Andreas
    Graehl, Jonathan
    Hopkins, Mark
    Knight, Kevin
    SIAM JOURNAL ON COMPUTING, 2009, 39 (02) : 410 - 430
  • [7] CONTINUITY OF TOP-DOWN TREE-TRANSDUCERS
    CLAEREBOUT, MF
    LILIN, E
    LECTURE NOTES IN COMPUTER SCIENCE, 1983, 159 : 167 - 178
  • [8] Superlinear deterministic top-down tree transducers
    Danyi, G
    Fulop, Z
    MATHEMATICAL SYSTEMS THEORY, 1996, 29 (05): : 507 - 534
  • [9] Compositions of extended top-down tree transducers
    Maletti, Andreas
    INFORMATION AND COMPUTATION, 2008, 206 (9-10) : 1187 - 1196
  • [10] TOP-DOWN TREE-TRANSDUCERS WITH DETERMINISTIC TOP-DOWN LOOK-AHEAD
    FULOP, Z
    VAGVOLGYI, S
    INFORMATION PROCESSING LETTERS, 1989, 33 (01) : 3 - 5
12345