Complementing deterministic tree-walking automata.

Anca Muscholl Mathias Samuelides Luc Segoufin

Published in: Inf. Process. Lett. (2006)

Keyphrases

tree automata
turing machine
finite state automaton
tree structure
cellular automata
regular expressions
b tree
tree models
index structure
finite automata
tree structures
lattice gas
regular tree languages
tree patterns
finite state
finite state automata
probabilistic automata
spanning tree