Definition of machine

Instance of machine of function f:

    p = f(p, x)
    

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