Keyphrases
- theorem prover
- input output
- cellular automata
- tree automata
- regular expressions
- finite automata
- probabilistic automata
- main memory
- data transfer
- timed automata
- lattice gas
- file system
- finite state machines
- finite state
- databases
- garbage collection
- natural deduction
- execution traces
- data structure
- artificial intelligence
- storage systems
- inference rules
- load balancing
- first order logic
- neural network
- finite automaton
- data sets
- disk allocation