Empty Stack Pushdown Omega-Tree Automata.

Wuxu Peng S. Purushothaman

Published in: CAAP (1992)

Keyphrases

tree automata
finite state
regular expressions
model checking
finite automata
syntactic pattern recognition
tree languages
ordered trees
markov chain
finite automaton
context free grammars
pattern matching
databases
optimal policy
context free