Definition of machine

Instance of machine of function f:

   p = i; while(a) { p = f(p, x); }
    

Set p and x sizes:
size of p:
size of x:
confirm p and x sizes (set domaine f)