Decidability of the shape preserving property of bottom-up tree transducers

被引：2
|
作者：
Gazdag, Z [1 ]
机构：
[1] Univ Szeged, Dept Comp Sci, H-6720 Szeged, Hungary
来源：
INTERNATIONAL JOURNAL OF FOUNDATIONS OF COMPUTER SCIENCE | 2006年 / 17卷 / 02期
基金：
匈牙利科学研究基金会;
关键词：
tree automata; bottom-up tree transducers; top-down tree transducers;
D O I：
10.1142/S0129054106003899
中图分类号：
TP301 [理论、方法];
学科分类号：
081202 ;
摘要：
It is a known result that both shape preserving top-down tree transducers and shape preserving bottom-up tree transducers are semantically equivalent to finite state relabeling tree transducers. Moreover, it is also known that the shape preserving property of top-down tree transducers is decidable. In this paper we present an analogous result for bottom-up tree transducers: we show that it is also decidable whether a bottom-up tree transducer is shape preserving or not.
引用
收藏
页码：395 / 413
页数：19
相关论文
共 50 条
  • [1] The Power of Regularity-Preserving Multi Bottom-up Tree Transducers
    Maletti, Andreas
    [J]. IMPLEMENTATION AND APPLICATION OF AUTOMATA, CIAA 2014, 2014, 8587 : 278 - 289
  • [2] The Power of Weighted Regularity-Preserving Multi Bottom-Up Tree Transducers
    Maletti, Andreas
    [J]. INTERNATIONAL JOURNAL OF FOUNDATIONS OF COMPUTER SCIENCE, 2015, 26 (07) : 987 - 1005
  • [3] Extended Multi Bottom-Up Tree Transducers
    Engelfriet, Joost
    Lilin, Eric
    Maletti, Andreas
    [J]. DEVELOPMENTS IN LANGUAGE THEORY, PROCEEDINGS, 2008, 5257 : 289 - +
  • [4] Extended multi bottom-up tree transducers
    Engelfriet, Joost
    Lilin, Eric
    Maletti, Andreas
    [J]. ACTA INFORMATICA, 2009, 46 (08) : 561 - 590
  • [5] Minimization of Deterministic Bottom-Up Tree Transducers
    Friese, Sylvia
    Seidl, Helmut
    Maneth, Sebastian
    [J]. DEVELOPMENTS IN LANGUAGE THEORY, 2010, 6224 : 185 - +
  • [6] String-to-Tree Multi Bottom-up Tree Transducers
    Seemann, Nina
    Braune, Fabienne
    Maletti, Andreas
    [J]. PROCEEDINGS OF THE 53RD ANNUAL MEETING OF THE ASSOCIATION FOR COMPUTATIONAL LINGUISTICS AND THE 7TH INTERNATIONAL JOINT CONFERENCE ON NATURAL LANGUAGE PROCESSING, VOL 1, 2015, : 815 - 824
  • [7] Linear deterministic multi bottom-up tree transducers
    Fülöp, Z
    Kühnemann, A
    Vogler, H
    [J]. THEORETICAL COMPUTER SCIENCE, 2005, 347 (1-2) : 276 - 287
  • [8] A comparison of bottom-up pushdown tree transducers and top-down pushdown tree transducers
    Yamasaki, K
    Sodeshima, Y
    [J]. IEICE TRANSACTIONS ON INFORMATION AND SYSTEMS, 2002, E85D (05): : 799 - 811
  • [9] On the String Translations Produced by Multi Bottom-Up Tree Transducers
    Gildea, Daniel
    [J]. COMPUTATIONAL LINGUISTICS, 2012, 38 (03) : 673 - 693
  • [10] EARLIEST NORMAL FORM AND MINIMIZATION FOR BOTTOM-UP TREE TRANSDUCERS
    Friese, Sylvia
    Seidl, Helmut
    Maneth, Sebastian
    [J]. INTERNATIONAL JOURNAL OF FOUNDATIONS OF COMPUTER SCIENCE, 2011, 22 (07) : 1607 - 1623
12345