Login / Signup
Antichain-Based Universality and Inclusion Testing over Nondeterministic Finite Tree Automata.
Ahmed Bouajjani
Peter Habermehl
Lukás Holík
Tayssir Touili
Tomás Vojnar
Published in:
CIAA (2008)
Keyphrases
</>
tree automata
finite automata
finite state
finite automaton
regular expressions
closure properties
grammatical inference
tree languages
syntactic pattern recognition
hidden markov models
markov decision processes
query language
markov chain
expressive power
regular tree languages