Keyphrases
- cellular automata
- finite automata
- regular expressions
- probabilistic automata
- program synthesis
- real time
- machine learning
- decision trees
- case study
- functional programs
- texture synthesis
- turing machine
- formal language theory
- controller synthesis
- lattice gas
- timed automata
- finite state machines
- query language
- multiscale
- three dimensional
- knowledge base
- databases
- data sets