Relating word and tree automata

被引：18

作者：

Kupferman, O ^{[1
]}

Safra, S ^{[1
]}

Vardi, MY ^{[1
]}

机构：

[1] AT&T BELL LABS,MURRAY HILL,NJ 07974

来源：

关键词：

D O I：

10.1109/LICS.1996.561360

中图分类号：

TP301 [理论、方法];

学科分类号：

081202 ;

摘要：

引用

页码：322 / 332

页数：11

共 50 条

[21] Caterpillar tree automata
Salomaa, K
7TH WORLD MULTICONFERENCE ON SYSTEMICS, CYBERNETICS AND INFORMATICS, VOL XIV, PROCEEDINGS: COMPUTER SCIENCE, ENGINEERING AND APPLICATIONS, 2003, : 459 - 464
[22] Restarting tree automata
Stamer, Heiko
Otto, Friedrich
SOFSEM 2007: THEORY AND PRACTICE OF COMPUTER SCIENCE, PROCEEDINGS, 2007, 4362 : 510 - +
[23] SYNCHRONIZED TREE AUTOMATA
SALOMAA, K
THEORETICAL COMPUTER SCIENCE, 1994, 127 (01) : 25 - 51
[24] Rewriting and tree automata
Dauchet, M
TERM REWRITING, 1995, 909 : 95 - 113
[25] PROBABILISTIC TREE AUTOMATA
ELLIS, CA
INFORMATION AND CONTROL, 1971, 19 (05): : 401 - &
[26] Regulated Tree Automata
Fernau, Henning
Vu, Martin
DESCRIPTIONAL COMPLEXITY OF FORMAL SYSTEMS, DCFS 2019, 2019, 11612 : 124 - 136
[27] From Tree Automata to String Automata Minimization
Guellouma, Younes
Cherroun, Hadda
Ziadi, Djelloul
Watson, Bruce W.
THEORY OF COMPUTING SYSTEMS, 2018, 62 (05) : 1203 - 1222
[28] ITERATIVE TREE AUTOMATA
CULIK, K
YU, S
THEORETICAL COMPUTER SCIENCE, 1984, 32 (03) : 227 - 247
[29] PUSHDOWN TREE AUTOMATA
GUESSARIAN, I
MATHEMATICAL SYSTEMS THEORY, 1983, 16 (04): : 237 - 263
[30] MINIMALIZATION OF TREE AUTOMATA
BRAINERD, WS
INFORMATION AND CONTROL, 1968, 13 (05): : 484 - &