Keyphrases
- cellular automata
- finite automata
- theorem proving
- theorem prover
- formal proofs
- regular expressions
- finite state machines
- propositional calculus
- probabilistic automata
- timed automata
- tree automata
- lattice gas
- finite state
- database
- equational theories
- natural deduction
- real time
- expert systems
- social networks
- computer programs
- mobile robot
- artificial neural networks
- formal proof
- computer vision
- genetic algorithm
- mathematical proofs