On Nondeterministic Unranked Tree Automata with Sibling Constraints.

Christof Löding Karianto Wong

Published in: FSTTCS (2009)

Keyphrases

tree automata
finite automata
finite state
finite automaton
regular expressions
markov chain
tree languages
model checking
ordered trees
grammatical inference
regular tree languages
syntactic pattern recognition
markov decision processes
relational databases
optimal policy
data management
context free