Tree automata for rewrite strategies

被引：9
|
作者：
Réty, P [1 ]
Vuotto, J [1 ]
机构：
[1] Univ Orleans, LIFO, F-45067 Orleans, France
来源：
JOURNAL OF SYMBOLIC COMPUTATION | 2005年 / 40卷 / 01期
关键词：
term rewriting; strategy; tree automaton;
D O I：
10.1016/j.jsc.2004.12.008
中图分类号：
TP301 [理论、方法];
学科分类号：
081202 ;
摘要：
For a constructor-based rewrite system R, a regular set of ground terms E, and assuming some additional restrictions, we build finite tree automata that recognize the descendants of E, i.e. the terms issued from E by rewriting, according to innermost, outermost, leftmost, and innermost-leftmost strategies. (c) 2005 Elsevier Ltd. All rights reserved.
引用
收藏
页码：749 / 794
页数：46
相关论文
共 50 条
  • [21] REWRITE, REWRITE, REWRITE, REWRITE, REWRITE, ...
    DERSHOWITZ, N
    KAPLAN, S
    PLAISTED, DA
    THEORETICAL COMPUTER SCIENCE, 1991, 83 (01) : 71 - 96
  • [22] REWRITE, REWRITE, REWRITE, REWRITE, REWRITE
    DERSHOWITZ, N
    KAPLAN, S
    CONFERENCE RECORD OF THE SIXTEENTH ANNUAL ACM SYMPOSIUM ON PRINCIPLES OF PROGRAMMING LANGUAGES, 1989, : 250 - 259
  • [23] Streaming tree automata
    Gauwin, Olivier
    Niehren, Joachim
    Roos, Yves
    INFORMATION PROCESSING LETTERS, 2008, 109 (01) : 13 - 17
  • [24] ALTERNATING TREE AUTOMATA
    SLUTZKI, G
    THEORETICAL COMPUTER SCIENCE, 1985, 41 (2-3) : 305 - 318
  • [25] ALTERNATING TREE AUTOMATA
    SLUTZKI, G
    LECTURE NOTES IN COMPUTER SCIENCE, 1983, 159 : 392 - 404
  • [26] Symbolic tree automata
    Veanes, Margus
    Bjorner, Nikolaj
    INFORMATION PROCESSING LETTERS, 2015, 115 (03) : 418 - 424
  • [27] Dependency Tree Automata
    Stirling, Colin
    FOUNDATIONS OF SOFTWARE SCIENCE AND COMPUTATIONAL STRUCTURES, PROCEEDINGS, 2009, 5504 : 92 - 106
  • [28] Caterpillar tree automata
    Salomaa, K
    7TH WORLD MULTICONFERENCE ON SYSTEMICS, CYBERNETICS AND INFORMATICS, VOL XIV, PROCEEDINGS: COMPUTER SCIENCE, ENGINEERING AND APPLICATIONS, 2003, : 459 - 464
  • [29] Propositional tree automata
    Hendrix, Joe
    Ohsaki, Hitoshi
    Viswanathan, Mahesh
    TERM REWRITING AND APPLICATIONS, PROCEEDINGS, 2006, 4098 : 50 - +
  • [30] Restarting tree automata
    Stamer, Heiko
    Otto, Friedrich
    SOFSEM 2007: THEORY AND PRACTICE OF COMPUTER SCIENCE, PROCEEDINGS, 2007, 4362 : 510 - +
12345