Decidability and Closure Properties of Equational Tree Languages.

Hitoshi Ohsaki Toshinori Takai

Published in: RTA (2002)

Keyphrases

tree languages
closure properties
tree automata
context free
finite automata
regular expressions
finite state
context free grammars
query answering
inductive inference
grammatical inference
markov chain
expressive power
markov decision processes