Keyphrases
- boolean functions
- finite automata
- cellular automata
- real valued
- finite state
- probabilistic automata
- lattice gas
- turing machine
- topological spaces
- spatial reasoning
- tree automata
- distributive lattices
- real time
- finite state machines
- interval algebra
- regular expressions
- redescription mining
- relation algebra
- information systems