4 ms·
Real computers are finite state machines, not Turing machines.
by ajamesm 10y ago
Real computers are finite state machines, not Turing machines.
- bmm6o 10y agoCorrect but not relevant. No formal verification technique takes advantage of the fact that the computer has "only" 8 GB or RAM and 1 TB of disk space as its tape (~ 2^2^43 states).