Synthesizing Structured Reactive Programs via Deterministic Tree Automata

Benedikt Brütsch

Published in: SR (2013)

Keyphrases

tree automata
regular expressions
finite state
finite automata
regular tree languages
tree languages
structured data
syntactic pattern recognition
finite automaton
context free grammars
databases
database systems
dynamic programming
object oriented
markov chain