Composed Bisimulation for Tree Automata.

Parosh Aziz Abdulla Ahmed Bouajjani Lukás Holík Lisa Kaati Tomás Vojnar

Published in: CIAA (2008)

Keyphrases

tree automata
regular expressions
finite automata
finite state
tree languages
finite automaton
syntactic pattern recognition
context free grammars
domain knowledge
query language
markov decision processes
grammatical inference