On Pushdown Tree Automata.

Irène Guessarian

Published in: CAAP (1981)

Keyphrases

tree automata
finite state
model checking
regular expressions
finite automata
syntactic pattern recognition
tree languages
finite automaton
ordered trees
markov chain
context free
database
databases
low level
context free grammars