Keyphrases
- cellular automata
- finite automata
- finite state
- probabilistic automata
- formal methods
- lattice gas
- theorem prover
- regular expressions
- finite state machines
- tree automata
- markov chain
- finite automaton
- mobile robot
- special case
- data sets
- support vector
- face recognition
- database systems
- image processing
- regular languages
- turing machine
- finite state automata
- formal languages
- timed automata
- artificial intelligence
- machine learning