Keyphrases
- general purpose
- special purpose
- cellular automata
- finite automata
- programming language
- finite state
- finite state machines
- application specific
- domain specific
- tightly coupled
- temporal logic
- real time
- pattern matching
- probabilistic model
- lattice gas
- automata theoretic
- tree automata
- probabilistic automata
- model checking
- hidden markov models
- objective function
- multimedia
- data mining
- neural network