Most basic code

The most basic piece of code is an assignment, eg $ x := 3$. For this ``atomic program'', th state space as only one component, $ X$ ( $ = \mathbb{N}$ say). All inputs give output.



David Goodwin 2008-09-20