Relating word and tree automata

被引：18
|
作者：
Kupferman, O [1 ]
Safra, S [1 ]
Vardi, MY [1 ]
机构：
[1] AT&T BELL LABS,MURRAY HILL,NJ 07974
来源：
11TH ANNUAL IEEE SYMPOSIUM ON LOGIC IN COMPUTER SCIENCE, PROCEEDINGS | 1996年
关键词：
D O I：
10.1109/LICS.1996.561360
中图分类号：
TP301 [理论、方法];
学科分类号：
081202 ;
摘要：
引用
收藏
页码：322 / 332
页数：11
相关论文
共 50 条
  • [31] Nondeterministic tree automata
    Niessner, F
    AUTOMATA, LOGICS, AND INFINITE GAMES: A GUIDE TO CURRENT RESEARCH, 2002, 2500 : 135 - 152
  • [32] Tree Automata Mining
    Przybylek, Michal R.
    COMPUTATIONAL INTELLIGENCE, IJCCI 2013, 2016, 613 : 137 - 154
  • [33] Rigid Tree Automata
    Jacquemard, Florent
    Klay, Francis
    Vacher, Camille
    LANGUAGE AND AUTOMATA THEORY AND APPLICATIONS, 2009, 5457 : 446 - +
  • [34] ON A REPRESENTATION OF TREE AUTOMATA
    ESIK, Z
    GECSEG, F
    THEORETICAL COMPUTER SCIENCE, 1987, 53 (2-3) : 243 - 255
  • [35] Fuzzy tree automata
    Esik, Zoltan
    Liu, Guangwu
    FUZZY SETS AND SYSTEMS, 2007, 158 (13) : 1450 - 1460
  • [36] From Tree Automata to String Automata Minimization
    Younes Guellouma
    Hadda Cherroun
    Djelloul Ziadi
    Bruce W. Watson
    Theory of Computing Systems, 2018, 62 : 1203 - 1222
  • [37] Computing simulations over tree automata -: (Efficient techniques for reducing tree automata)
    Abdulla, Parosh A.
    Bouajjani, Ahmed
    Holik, Lukas
    Kaati, Lisa
    Vojnar, Tomas
    TOOLS AND ALGORITHMS FOR THE CONSTRUCTION AND ANALYSIS OF SYSTEMS, 2008, 4963 : 93 - +
  • [38] Positive Tree Representations and Applications to Tree Automata
    Department of Mathematics, Aristotle University of Thessaloniki, 54006 Thessaloniki, Greece
    Inf Comput, 2 (130-153):
  • [39] On some classes of tree automata and tree languages
    Gécseg, F
    ANNALES ACADEMIAE SCIENTIARUM FENNICAE-MATHEMATICA, 2000, 25 (02) : 325 - 336
  • [40] Positive tree representations and applications to tree automata
    Bozapalidis, S
    INFORMATION AND COMPUTATION, 1997, 139 (02) : 130 - 153
12345