Keyphrases
- theoretical framework
- cellular automata
- topological properties
- finite automata
- finite state machines
- causal reasoning
- probabilistic automata
- website
- computational models
- regular expressions
- database
- topological spaces
- finite state
- directional relations
- lattice gas
- timed automata
- tree automata
- temporal logic
- real time