Example 1

$$y := x$$

Here the state space might be $\mathbb{N}$   x$\mathbb{N}$If the input state vector is $(x,y) = (2,3)$, then the output vector is $(2,2)$.

To build up more complicated programs we need to use conditions or tests. These are predicates on the state space (assumed to be of some easily computed form).