Keyphrases
- markov chain
- probabilistic automata
- deductive databases
- finite automata
- finite state
- cellular automata
- tree automata
- datalog programs
- datalog queries
- finite state machines
- lattice gas
- regular expressions
- spatial reasoning
- distributive lattices
- markov processes
- temporal reasoning
- clifford algebra
- turing machine
- timed automata
- model checking
- information systems
- search engine
- monadic second order logic
- databases