Keyphrases
- finite state
- model checking
- cellular automata
- finite automata
- finite state machines
- lattice gas
- probabilistic automata
- timed automata
- regular expressions
- artificial neural networks
- natural language
- spoken language
- tree automata
- word order
- finite state automata
- databases
- pattern matching
- markov chain
- decision trees
- target language
- context free grammars
- information systems
- data sets
- database