The button will add this page to my log of things to fix. Use it for broken links, equations not rendering correctly, etc. Submit other issues on GitHub.
Subroutine Lemma
Let and be Register Machines performing Partial Functions and respectively.
Then we can construct a register machine performing operation .