Keyphrases
- finite automata
- cellular automata
- model checking
- finite state
- probabilistic automata
- finite state machines
- regular expressions
- finite state automata
- lattice gas
- timed automata
- tree automata
- lower bound
- formal language theory
- data sets
- query language
- computational complexity
- database systems
- high level
- decision trees
- genetic algorithm