Next: Proof Linear: Execution of Up: How long are Long Previous: Distribution of Output of

Proof Linear: Model of Computer

State of computer given by contents of memory
All memory, input and output registers but exclude PC
memory bits $\Rightarrow 2^{N}$ states
Execution $\equiv$ state $\rightarrow$ next state
In general state $\neq$ next state but allow state next state
Computer designed so all states accessible

Bill LANGDON 2002-07-17