Synthesizing structured reactive programs via deterministic tree automata.

Benedikt Brütsch

Published in: Inf. Comput. (2015)

Keyphrases

tree automata
regular expressions
finite automata
finite state
regular tree languages
syntactic pattern recognition
tree languages
context free grammars
finite automaton
structured data
databases
knowledge based systems
markov decision processes
context free