Performing an Operation

Let be any Partial Function.
We say that a Register Machine
performs the operation if for all :

1. If then converges on input with register content
2. If then diverges on input
   (Note that we used the to indicate padding for scratch space that the register machine may use for memory purposes.
   I will omit that padding in my notes going forward.)