Time Symmetries in Deterministic and Non-Deterministic Computing
Unary Counters
Infinite
Computational
Processes
Binary Counters
Real number
computation
Deterministic
Finite
Computational
Processes
Computes Partial
Functions (Stops
on some input)
Computes Total
Functions (Stops
on all input)
Universal
Machines
Tape Erasors
Turing Machines
Reversible
Bounded random
number generators
Total Semireversible
Finite Generators
Semi-Reversible
machines
Non-deterministic
Universal
Semi-reversible
Infinite Generators
Random real
number generators