Rewriting and Tree Automata.

Published in: Term Rewriting (1993)

Keyphrases

tree automata
regular expressions
finite automata
finite state
tree languages
syntactic pattern recognition
conjunctive queries
finite automaton
pattern matching
query evaluation
context free grammars
model checking
grammatical inference