High level tree transducers and iterated pushdown tree transducers

被引:0
|
作者
Engelfriet, Joost [1 ]
Vogler, Heiko [1 ]
机构
[1] Univ of Leiden, Netherlands
来源
| 1600年 / 26期
关键词
D O I
暂无
中图分类号
学科分类号
摘要
Automata Theory
引用
收藏
页码:1 / 2
相关论文
共 50 条
  • [31] Visibly pushdown transducers
    Filiot, Emmanuel
    Raskin, Jean-Francois
    Reynier, Pierre-Alain
    Servais, Frederic
    Talbot, Jean-Marc
    JOURNAL OF COMPUTER AND SYSTEM SCIENCES, 2018, 97 : 147 - 181
  • [32] Reversible Pushdown Transducers
    Guillon, Bruno
    Kutrib, Martin
    Malcher, Andreas
    Prigioniero, Luca
    DEVELOPMENTS IN LANGUAGE THEORY, DLT 2018, 2018, 11088 : 354 - 365
  • [33] Relating tree series transducers and weighted tree automata
    Maletti, A
    DEVELOPMENTS IN LANGUAGE THEORY, PROCEEDINGS, 2004, 3340 : 321 - 333
  • [34] Relating tree series transducers and weighted tree automata
    Maletti, A
    INTERNATIONAL JOURNAL OF FOUNDATIONS OF COMPUTER SCIENCE, 2005, 16 (04) : 723 - 741
  • [35] DETERMINISTIC TOP-DOWN TREE-TRANSDUCERS WITH ITERATED LOOK-AHEAD
    SLUTZKI, G
    VAGVOLGYI, S
    THEORETICAL COMPUTER SCIENCE, 1995, 143 (02) : 285 - 308
  • [36] TREE-TRANSDUCERS WITH EXTERNAL FUNCTIONS
    FULOP, Z
    HERRMANN, F
    VAGVOLGYI, S
    VOGLER, H
    THEORETICAL COMPUTER SCIENCE, 1993, 108 (02) : 185 - 236
  • [37] Code selection by tree series transducers
    Borchardt, B
    IMPLEMENTATION AND APPLICATION OF AUTOMATA, 2005, 3317 : 57 - 67
  • [38] Decision problems of tree transducers with origin
    Filiot, Emmanuel
    Maneth, Sebastian
    Reynier, Pierre-Alain
    Talbot, Jean-Marc
    INFORMATION AND COMPUTATION, 2018, 261 : 311 - 335
  • [39] FOUNDATIONS OF FINITE SYMBOLIC TREE TRANSDUCERS
    Gurevich, Yuri
    Veanes, Margus
    Bjorner, Nikolaj
    BULLETIN OF THE EUROPEAN ASSOCIATION FOR THEORETICAL COMPUTER SCIENCE, 2011, (105): : 141 - 173
  • [40] On the Balancedness of Tree-to-Word Transducers
    Loebel, Raphaela
    Luttenberger, Michael
    Seidl, Helmut
    DEVELOPMENTS IN LANGUAGE THEORY, DLT 2020, 2020, 12086 : 222 - 236