X-Git-Url: https://git.njae.me.uk/?a=blobdiff_plain;f=07-interpreter%2Fmachine-code-4-reg.ipynb;h=abc09cc70b204bab2e9340cc612e1cb7f439cfa1;hb=256cad02e44f18b53ee0ca8c5a2737b3c1cd71bc;hp=3d000c680b6344f206666891898f50585ccfa669;hpb=e405461a789315af95c5ae0e90d63d9fd7d81d37;p=ou-summer-of-code-2017.git

diff --git a/07-interpreter/machine-code-4-reg.ipynb b/07-interpreter/machine-code-4-reg.ipynb
index 3d000c6..abc09cc 100644
--- a/07-interpreter/machine-code-4-reg.ipynb
+++ b/07-interpreter/machine-code-4-reg.ipynb
@@ -31,8 +31,10 @@
   },
   {
    "cell_type": "code",
-   "execution_count": 4,
-   "metadata": {},
+   "execution_count": 1,
+   "metadata": {
+    "collapsed": true
+   },
    "outputs": [],
    "source": [
     "def new_machine():\n",
@@ -46,7 +48,7 @@
   },
   {
    "cell_type": "code",
-   "execution_count": 5,
+   "execution_count": 2,
    "metadata": {
     "collapsed": true
    },
@@ -60,7 +62,7 @@
   },
   {
    "cell_type": "code",
-   "execution_count": 6,
+   "execution_count": 3,
    "metadata": {
     "collapsed": true
    },
@@ -73,7 +75,7 @@
   },
   {
    "cell_type": "code",
-   "execution_count": 7,
+   "execution_count": 4,
    "metadata": {
     "collapsed": true
    },
@@ -86,7 +88,7 @@
   },
   {
    "cell_type": "code",
-   "execution_count": 8,
+   "execution_count": 5,
    "metadata": {
     "collapsed": true
    },
@@ -98,7 +100,7 @@
   },
   {
    "cell_type": "code",
-   "execution_count": 9,
+   "execution_count": 6,
    "metadata": {
     "collapsed": true
    },
@@ -113,7 +115,7 @@
   },
   {
    "cell_type": "code",
-   "execution_count": 10,
+   "execution_count": 7,
    "metadata": {
     "collapsed": true
    },
@@ -126,7 +128,7 @@
   },
   {
    "cell_type": "code",
-   "execution_count": 11,
+   "execution_count": 8,
    "metadata": {
     "collapsed": true
    },
@@ -139,7 +141,7 @@
   },
   {
    "cell_type": "code",
-   "execution_count": 12,
+   "execution_count": 9,
    "metadata": {
     "collapsed": true
    },
@@ -152,7 +154,7 @@
   },
   {
    "cell_type": "code",
-   "execution_count": 13,
+   "execution_count": 10,
    "metadata": {
     "collapsed": true
    },
@@ -170,7 +172,7 @@
   },
   {
    "cell_type": "code",
-   "execution_count": 14,
+   "execution_count": 11,
    "metadata": {},
    "outputs": [
     {
@@ -179,7 +181,7 @@
        "{'a': 2, 'b': 1, 'c': 0, 'd': 0, 'instructions': [], 'pc': 3}"
       ]
      },
-     "execution_count": 14,
+     "execution_count": 11,
      "metadata": {},
      "output_type": "execute_result"
     }
@@ -195,7 +197,7 @@
   },
   {
    "cell_type": "code",
-   "execution_count": 15,
+   "execution_count": 12,
    "metadata": {
     "collapsed": true
    },
@@ -207,23 +209,51 @@
   },
   {
    "cell_type": "code",
-   "execution_count": 16,
+   "execution_count": 45,
    "metadata": {
     "collapsed": true
    },
    "outputs": [],
    "source": [
-    "def program_from_listing(listing, machine):\n",
+    "def unlabel_listing(listing):\n",
     "    labelled_instructions = [i.strip() for i in listing.split('\\n') \n",
     "                             if i.strip() \n",
     "                             if not i.strip().startswith('#')]\n",
-    "    instructions = replace_labels(labelled_instructions)\n",
+    "    return replace_labels(labelled_instructions)    "
+   ]
+  },
+  {
+   "cell_type": "code",
+   "execution_count": 13,
+   "metadata": {
+    "collapsed": true
+   },
+   "outputs": [],
+   "source": [
+    "# def program_from_listing(listing, machine):\n",
+    "#     labelled_instructions = [i.strip() for i in listing.split('\\n') \n",
+    "#                              if i.strip() \n",
+    "#                              if not i.strip().startswith('#')]\n",
+    "#     instructions = replace_labels(labelled_instructions)\n",
+    "#     program_from_instructions(instructions, machine)"
+   ]
+  },
+  {
+   "cell_type": "code",
+   "execution_count": 53,
+   "metadata": {
+    "collapsed": true
+   },
+   "outputs": [],
+   "source": [
+    "def program_from_listing(listing, machine):\n",
+    "    instructions = unlabel_listing(listing)\n",
     "    program_from_instructions(instructions, machine)"
    ]
   },
   {
    "cell_type": "code",
-   "execution_count": 17,
+   "execution_count": 14,
    "metadata": {
     "collapsed": true
    },
@@ -256,7 +286,7 @@
   },
   {
    "cell_type": "code",
-   "execution_count": 18,
+   "execution_count": 15,
    "metadata": {},
    "outputs": [
     {
@@ -265,7 +295,7 @@
        "['inc', 'a']"
       ]
      },
-     "execution_count": 18,
+     "execution_count": 15,
      "metadata": {},
      "output_type": "execute_result"
     }
@@ -276,7 +306,7 @@
   },
   {
    "cell_type": "code",
-   "execution_count": 19,
+   "execution_count": 47,
    "metadata": {},
    "outputs": [
     {
@@ -308,7 +338,28 @@
   },
   {
    "cell_type": "code",
-   "execution_count": 20,
+   "execution_count": 49,
+   "metadata": {},
+   "outputs": [
+    {
+     "name": "stdout",
+     "output_type": "stream",
+     "text": [
+      "set a 10\n",
+      "dec a\n",
+      "inc b\n",
+      "jpz a 2\n",
+      "jmp -3\n"
+     ]
+    }
+   ],
+   "source": [
+    "print('\\n'.join(unlabel_listing(program)))"
+   ]
+  },
+  {
+   "cell_type": "code",
+   "execution_count": 17,
    "metadata": {
     "collapsed": true
    },
@@ -326,7 +377,7 @@
   },
   {
    "cell_type": "code",
-   "execution_count": 21,
+   "execution_count": 18,
    "metadata": {
     "collapsed": true
    },
@@ -341,7 +392,7 @@
   },
   {
    "cell_type": "code",
-   "execution_count": 22,
+   "execution_count": 19,
    "metadata": {},
    "outputs": [
     {
@@ -358,7 +409,7 @@
        " 'pc': 4}"
       ]
      },
-     "execution_count": 22,
+     "execution_count": 19,
      "metadata": {},
      "output_type": "execute_result"
     }
@@ -375,7 +426,7 @@
   },
   {
    "cell_type": "code",
-   "execution_count": 24,
+   "execution_count": 20,
    "metadata": {},
    "outputs": [
     {
@@ -393,7 +444,7 @@
        " 'pc': 5}"
       ]
      },
-     "execution_count": 24,
+     "execution_count": 20,
      "metadata": {},
      "output_type": "execute_result"
     }
@@ -414,7 +465,7 @@
   },
   {
    "cell_type": "code",
-   "execution_count": 25,
+   "execution_count": 21,
    "metadata": {},
    "outputs": [
     {
@@ -432,7 +483,7 @@
        " 'pc': 5}"
       ]
      },
-     "execution_count": 25,
+     "execution_count": 21,
      "metadata": {},
      "output_type": "execute_result"
     }
@@ -450,7 +501,7 @@
   },
   {
    "cell_type": "code",
-   "execution_count": 26,
+   "execution_count": 22,
    "metadata": {},
    "outputs": [
     {
@@ -472,7 +523,7 @@
        " 'pc': 10}"
       ]
      },
-     "execution_count": 26,
+     "execution_count": 22,
      "metadata": {},
      "output_type": "execute_result"
     }
@@ -497,7 +548,7 @@
   },
   {
    "cell_type": "code",
-   "execution_count": 27,
+   "execution_count": 71,
    "metadata": {},
    "outputs": [
     {
@@ -519,7 +570,7 @@
        " 'pc': 9}"
       ]
      },
-     "execution_count": 27,
+     "execution_count": 71,
      "metadata": {},
      "output_type": "execute_result"
     }
@@ -545,7 +596,32 @@
   },
   {
    "cell_type": "code",
-   "execution_count": 28,
+   "execution_count": 64,
+   "metadata": {},
+   "outputs": [
+    {
+     "name": "stdout",
+     "output_type": "stream",
+     "text": [
+      "cpy c a\n",
+      "set b 0\n",
+      "dec a\n",
+      "jpz b 3\n",
+      "dec b\n",
+      "jmp 2\n",
+      "inc b\n",
+      "jpz a 2\n",
+      "jmp -6\n"
+     ]
+    }
+   ],
+   "source": [
+    "print('\\n'.join(unlabel_listing(program)))"
+   ]
+  },
+  {
+   "cell_type": "code",
+   "execution_count": 65,
    "metadata": {},
    "outputs": [
     {
@@ -554,7 +630,7 @@
        "'a: 0, b: 1, c: 8, d: 0, pc: 10'"
       ]
      },
-     "execution_count": 28,
+     "execution_count": 65,
      "metadata": {},
      "output_type": "execute_result"
     }
@@ -581,7 +657,33 @@
   },
   {
    "cell_type": "code",
-   "execution_count": 29,
+   "execution_count": 66,
+   "metadata": {},
+   "outputs": [
+    {
+     "name": "stdout",
+     "output_type": "stream",
+     "text": [
+      "set c 0\n",
+      "set b 0\n",
+      "dec a\n",
+      "jpz b 4\n",
+      "dec b\n",
+      "inc c\n",
+      "jmp 2\n",
+      "inc b\n",
+      "jpz a 2\n",
+      "jmp -7\n"
+     ]
+    }
+   ],
+   "source": [
+    "print('\\n'.join(unlabel_listing(program)))"
+   ]
+  },
+  {
+   "cell_type": "code",
+   "execution_count": 25,
    "metadata": {},
    "outputs": [
     {
@@ -590,7 +692,7 @@
        "'a: 4, b: 0, c: 12, d: 0, pc: 9'"
       ]
      },
-     "execution_count": 29,
+     "execution_count": 25,
      "metadata": {},
      "output_type": "execute_result"
     }
@@ -620,7 +722,7 @@
   },
   {
    "cell_type": "code",
-   "execution_count": 38,
+   "execution_count": 67,
    "metadata": {},
    "outputs": [
     {
@@ -629,7 +731,7 @@
        "'a: 0, b: 0, c: 27, d: 0, pc: 11'"
       ]
      },
-     "execution_count": 38,
+     "execution_count": 67,
      "metadata": {},
      "output_type": "execute_result"
     }
@@ -658,7 +760,34 @@
   },
   {
    "cell_type": "code",
-   "execution_count": 39,
+   "execution_count": 68,
+   "metadata": {},
+   "outputs": [
+    {
+     "name": "stdout",
+     "output_type": "stream",
+     "text": [
+      "set c 0\n",
+      "cpy a d\n",
+      "jpz b 8\n",
+      "dec b\n",
+      "cpy d a\n",
+      "jpz a 4\n",
+      "inc c\n",
+      "dec a\n",
+      "jmp -3\n",
+      "jmp -7\n",
+      "set d 0\n"
+     ]
+    }
+   ],
+   "source": [
+    "print('\\n'.join(unlabel_listing(program)))"
+   ]
+  },
+  {
+   "cell_type": "code",
+   "execution_count": 27,
    "metadata": {},
    "outputs": [
     {
@@ -687,7 +816,7 @@
   },
   {
    "cell_type": "code",
-   "execution_count": 31,
+   "execution_count": 28,
    "metadata": {},
    "outputs": [
     {
@@ -696,7 +825,7 @@
        "'a: 2, b: 0, c: 10, d: 2, pc: 13'"
       ]
      },
-     "execution_count": 31,
+     "execution_count": 28,
      "metadata": {},
      "output_type": "execute_result"
     }
@@ -727,7 +856,7 @@
   },
   {
    "cell_type": "code",
-   "execution_count": 32,
+   "execution_count": 29,
    "metadata": {},
    "outputs": [
     {
@@ -760,7 +889,7 @@
   },
   {
    "cell_type": "code",
-   "execution_count": 33,
+   "execution_count": 30,
    "metadata": {},
    "outputs": [
     {
@@ -769,7 +898,7 @@
        "'a: 52, b: 0, c: 0, d: 0, pc: 48'"
       ]
      },
-     "execution_count": 33,
+     "execution_count": 30,
      "metadata": {},
      "output_type": "execute_result"
     }
@@ -851,7 +980,7 @@
   },
   {
    "cell_type": "code",
-   "execution_count": 32,
+   "execution_count": 31,
    "metadata": {},
    "outputs": [
     {
@@ -860,7 +989,7 @@
        "40"
       ]
      },
-     "execution_count": 32,
+     "execution_count": 31,
      "metadata": {},
      "output_type": "execute_result"
     }
@@ -871,7 +1000,7 @@
   },
   {
    "cell_type": "code",
-   "execution_count": 33,
+   "execution_count": 32,
    "metadata": {
     "collapsed": true
    },
@@ -892,7 +1021,7 @@
   },
   {
    "cell_type": "code",
-   "execution_count": 34,
+   "execution_count": 33,
    "metadata": {},
    "outputs": [
     {
@@ -901,7 +1030,7 @@
        "52"
       ]
      },
-     "execution_count": 34,
+     "execution_count": 33,
      "metadata": {},
      "output_type": "execute_result"
     }
@@ -912,7 +1041,7 @@
   },
   {
    "cell_type": "code",
-   "execution_count": 35,
+   "execution_count": 34,
    "metadata": {},
    "outputs": [
     {
@@ -921,7 +1050,7 @@
        "(250504, 937)"
       ]
      },
-     "execution_count": 35,
+     "execution_count": 34,
      "metadata": {},
      "output_type": "execute_result"
     }
@@ -940,105 +1069,7 @@
     {
      "data": {
       "text/plain": [
-       "[(1, 0, 1),\n",
-       " (2, 0, 2),\n",
-       " (3, 0, 16),\n",
-       " (4, 0, 4),\n",
-       " (5, 0, 16),\n",
-       " (6, 0, 16),\n",
-       " (7, 0, 52),\n",
-       " (8, 0, 8),\n",
-       " (9, 0, 52),\n",
-       " (10, 0, 16),\n",
-       " (11, 0, 52),\n",
-       " (12, 0, 16),\n",
-       " (13, 0, 40),\n",
-       " (14, 0, 52),\n",
-       " (15, 0, 160),\n",
-       " (16, 0, 16),\n",
-       " (17, 0, 52),\n",
-       " (18, 0, 52),\n",
-       " (19, 0, 88),\n",
-       " (20, 0, 20),\n",
-       " (21, 0, 64),\n",
-       " (22, 0, 52),\n",
-       " (23, 0, 160),\n",
-       " (24, 0, 24),\n",
-       " (25, 0, 88),\n",
-       " (26, 0, 40),\n",
-       " (27, 0, 9232),\n",
-       " (28, 0, 52),\n",
-       " (29, 0, 88),\n",
-       " (30, 0, 160),\n",
-       " (31, 0, 9232),\n",
-       " (32, 0, 32),\n",
-       " (33, 0, 100),\n",
-       " (34, 0, 52),\n",
-       " (35, 0, 160),\n",
-       " (36, 0, 52),\n",
-       " (37, 0, 112),\n",
-       " (38, 0, 88),\n",
-       " (39, 0, 304),\n",
-       " (40, 0, 40),\n",
-       " (41, 0, 9232),\n",
-       " (42, 0, 64),\n",
-       " (43, 0, 196),\n",
-       " (44, 0, 52),\n",
-       " (45, 0, 136),\n",
-       " (46, 0, 160),\n",
-       " (47, 0, 9232),\n",
-       " (48, 0, 48),\n",
-       " (49, 0, 148),\n",
-       " (50, 0, 88),\n",
-       " (51, 0, 232),\n",
-       " (52, 0, 52),\n",
-       " (53, 0, 160),\n",
-       " (54, 0, 9232),\n",
-       " (55, 0, 9232),\n",
-       " (56, 0, 56),\n",
-       " (57, 0, 196),\n",
-       " (58, 0, 88),\n",
-       " (59, 0, 304),\n",
-       " (60, 0, 160),\n",
-       " (61, 0, 184),\n",
-       " (62, 0, 9232),\n",
-       " (63, 0, 9232),\n",
-       " (64, 0, 64),\n",
-       " (65, 0, 196),\n",
-       " (66, 0, 100),\n",
-       " (67, 0, 304),\n",
-       " (68, 0, 68),\n",
-       " (69, 0, 208),\n",
-       " (70, 0, 160),\n",
-       " (71, 0, 9232),\n",
-       " (72, 0, 72),\n",
-       " (73, 0, 9232),\n",
-       " (74, 0, 112),\n",
-       " (75, 0, 340),\n",
-       " (76, 0, 88),\n",
-       " (77, 0, 232),\n",
-       " (78, 0, 304),\n",
-       " (79, 0, 808),\n",
-       " (80, 0, 80),\n",
-       " (81, 0, 244),\n",
-       " (82, 0, 9232),\n",
-       " (83, 0, 9232),\n",
-       " (84, 0, 84),\n",
-       " (85, 0, 256),\n",
-       " (86, 0, 196),\n",
-       " (87, 0, 592),\n",
-       " (88, 0, 88),\n",
-       " (89, 0, 304),\n",
-       " (90, 0, 136),\n",
-       " (91, 0, 9232),\n",
-       " (92, 0, 160),\n",
-       " (93, 0, 280),\n",
-       " (94, 0, 9232),\n",
-       " (95, 0, 9232),\n",
-       " (96, 0, 96),\n",
-       " (97, 0, 9232),\n",
-       " (98, 0, 148),\n",
-       " (99, 0, 448)]"
+       "[]"
       ]
      },
      "execution_count": 36,
@@ -1051,108 +1082,221 @@
     "for i in range(1, 100):\n",
     "    m = execute(program, initial_state={'a': i})\n",
     "    c = max_collatz(i)\n",
-    "    if m[1] != c:\n",
-    "        ans += [(i, m[1], c)]\n",
+    "    if m['a'] != c:\n",
+    "        ans += [(i, m['a'], c)]\n",
     "ans"
    ]
   },
   {
    "cell_type": "code",
-   "execution_count": 34,
+   "execution_count": 37,
+   "metadata": {},
+   "outputs": [
+    {
+     "ename": "KeyboardInterrupt",
+     "evalue": "",
+     "output_type": "error",
+     "traceback": [
+      "\u001b[0;31m---------------------------------------------------------------------------\u001b[0m",
+      "\u001b[0;31mKeyboardInterrupt\u001b[0m                         Traceback (most recent call last)",
+      "\u001b[0;32m<ipython-input-37-a9f4d977edea>\u001b[0m in \u001b[0;36m<module>\u001b[0;34m()\u001b[0m\n\u001b[0;32m----> 1\u001b[0;31m \u001b[0mshow_machine\u001b[0m\u001b[0;34m(\u001b[0m\u001b[0mexecute\u001b[0m\u001b[0;34m(\u001b[0m\u001b[0mprogram\u001b[0m\u001b[0;34m,\u001b[0m \u001b[0minitial_state\u001b[0m\u001b[0;34m=\u001b[0m\u001b[0;34m{\u001b[0m\u001b[0;34m'a'\u001b[0m\u001b[0;34m:\u001b[0m \u001b[0;36m937\u001b[0m\u001b[0;34m}\u001b[0m\u001b[0;34m)\u001b[0m\u001b[0;34m)\u001b[0m\u001b[0;34m\u001b[0m\u001b[0m\n\u001b[0m",
+      "\u001b[0;32m<ipython-input-18-d22f089366e4>\u001b[0m in \u001b[0;36mexecute\u001b[0;34m(listing, initial_state, trace)\u001b[0m\n\u001b[1;32m      2\u001b[0m     \u001b[0mm\u001b[0m \u001b[0;34m=\u001b[0m \u001b[0mnew_machine\u001b[0m\u001b[0;34m(\u001b[0m\u001b[0;34m)\u001b[0m\u001b[0;34m\u001b[0m\u001b[0m\n\u001b[1;32m      3\u001b[0m     \u001b[0mprogram_from_listing\u001b[0m\u001b[0;34m(\u001b[0m\u001b[0mlisting\u001b[0m\u001b[0;34m,\u001b[0m \u001b[0mm\u001b[0m\u001b[0;34m)\u001b[0m\u001b[0;34m\u001b[0m\u001b[0m\n\u001b[0;32m----> 4\u001b[0;31m     \u001b[0mrun\u001b[0m\u001b[0;34m(\u001b[0m\u001b[0mm\u001b[0m\u001b[0;34m,\u001b[0m \u001b[0minitial_state\u001b[0m\u001b[0;34m=\u001b[0m\u001b[0minitial_state\u001b[0m\u001b[0;34m,\u001b[0m \u001b[0mtrace\u001b[0m\u001b[0;34m=\u001b[0m\u001b[0mtrace\u001b[0m\u001b[0;34m)\u001b[0m\u001b[0;34m\u001b[0m\u001b[0m\n\u001b[0m\u001b[1;32m      5\u001b[0m     \u001b[0;32mreturn\u001b[0m \u001b[0mm\u001b[0m\u001b[0;34m\u001b[0m\u001b[0m\n",
+      "\u001b[0;32m<ipython-input-17-5478d48920ba>\u001b[0m in \u001b[0;36mrun\u001b[0;34m(machine, initial_state, trace)\u001b[0m\n\u001b[1;32m      2\u001b[0m     \u001b[0;32mif\u001b[0m \u001b[0minitial_state\u001b[0m\u001b[0;34m:\u001b[0m\u001b[0;34m\u001b[0m\u001b[0m\n\u001b[1;32m      3\u001b[0m         \u001b[0mmachine\u001b[0m\u001b[0;34m.\u001b[0m\u001b[0mupdate\u001b[0m\u001b[0;34m(\u001b[0m\u001b[0minitial_state\u001b[0m\u001b[0;34m)\u001b[0m\u001b[0;34m\u001b[0m\u001b[0m\n\u001b[0;32m----> 4\u001b[0;31m     \u001b[0;32mwhile\u001b[0m \u001b[0mmachine\u001b[0m\u001b[0;34m[\u001b[0m\u001b[0;34m'pc'\u001b[0m\u001b[0;34m]\u001b[0m \u001b[0;34m<\u001b[0m \u001b[0mlen\u001b[0m\u001b[0;34m(\u001b[0m\u001b[0mmachine\u001b[0m\u001b[0;34m[\u001b[0m\u001b[0;34m'instructions'\u001b[0m\u001b[0;34m]\u001b[0m\u001b[0;34m)\u001b[0m\u001b[0;34m:\u001b[0m\u001b[0;34m\u001b[0m\u001b[0m\n\u001b[0m\u001b[1;32m      5\u001b[0m         \u001b[0;32mif\u001b[0m \u001b[0mtrace\u001b[0m\u001b[0;34m:\u001b[0m\u001b[0;34m\u001b[0m\u001b[0m\n\u001b[1;32m      6\u001b[0m             \u001b[0mprint\u001b[0m\u001b[0;34m(\u001b[0m\u001b[0mshow_machine\u001b[0m\u001b[0;34m(\u001b[0m\u001b[0mmachine\u001b[0m\u001b[0;34m)\u001b[0m\u001b[0;34m)\u001b[0m\u001b[0;34m\u001b[0m\u001b[0m\n",
+      "\u001b[0;31mKeyboardInterrupt\u001b[0m: "
+     ]
+    }
+   ],
+   "source": [
+    "show_machine(execute(program, initial_state={'a': 937}))"
+   ]
+  },
+  {
+   "cell_type": "code",
+   "execution_count": null,
+   "metadata": {},
+   "outputs": [],
+   "source": [
+    "# labelled_instructions = [i.strip() for i in program.split('\\n') \n",
+    "#                              if i.strip() \n",
+    "#                              if not i.strip().startswith('#')]\n",
+    "# instructions = replace_labels(labelled_instructions)\n",
+    "# print('\\n'.join(instructions))\n",
+    "# open('07-program.txt', 'w').write('\\n'.join(instructions))"
+   ]
+  },
+  {
+   "cell_type": "code",
+   "execution_count": 58,
    "metadata": {},
    "outputs": [
     {
      "data": {
       "text/plain": [
-       "'a: 250504, b: 0, c: 0, d: 0, pc: 48'"
+       "{'a': 0,\n",
+       " 'b': 3,\n",
+       " 'c': 0,\n",
+       " 'd': 0,\n",
+       " 'instructions': [(<function __main__.dec>, ['a']),\n",
+       "  (<function __main__.inc>, ['b']),\n",
+       "  (<function __main__.jpz>, ['a', 2]),\n",
+       "  (<function __main__.jmp>, [-3])],\n",
+       " 'pc': 4}"
       ]
      },
-     "execution_count": 34,
+     "execution_count": 58,
      "metadata": {},
      "output_type": "execute_result"
     }
    ],
    "source": [
-    "show_machine(execute(program, initial_state={'a': 937}))"
+    "# Adds a to b\n",
+    "program = \"\"\"\n",
+    "loop: dec a\n",
+    "      inc b\n",
+    "      jpz a 2\n",
+    "      jmp loop\n",
+    "\"\"\"\n",
+    "execute(program, initial_state={'a': 3})"
    ]
   },
   {
    "cell_type": "code",
-   "execution_count": 35,
+   "execution_count": 59,
    "metadata": {},
    "outputs": [
     {
      "name": "stdout",
      "output_type": "stream",
      "text": [
-      "cpy a d\n",
-      "set b 0\n",
-      "dec a\n",
-      "jpz a 42\n",
-      "inc a\n",
-      "cpy a c\n",
-      "set b 0\n",
-      "dec c\n",
-      "jpz b 3\n",
-      "dec b\n",
-      "jmp 2\n",
-      "inc b\n",
-      "jpz c 2\n",
-      "jmp -6\n",
-      "jpz b 11\n",
-      "cpy a b\n",
-      "jpz b 6\n",
-      "dec b\n",
-      "inc c\n",
-      "inc c\n",
-      "inc c\n",
-      "jmp -5\n",
-      "inc c\n",
-      "cpy c a\n",
-      "jmp 12\n",
-      "set c 0\n",
-      "set b 0\n",
       "dec a\n",
-      "jpz b 4\n",
-      "dec b\n",
-      "inc c\n",
-      "jmp 2\n",
       "inc b\n",
       "jpz a 2\n",
-      "jmp -7\n",
-      "cpy c a\n",
-      "cpy a b\n",
-      "cpy d c\n",
-      "jpz c 5\n",
-      "jpz b 5\n",
-      "dec b\n",
-      "dec c\n",
-      "jmp -4\n",
-      "cpy a d\n",
-      "jmp -42\n",
-      "cpy d a\n",
-      "set c 0\n",
-      "set d 0\n"
+      "jmp -3\n"
      ]
-    },
+    }
+   ],
+   "source": [
+    "print('\\n'.join(unlabel_listing(program)))"
+   ]
+  },
+  {
+   "cell_type": "code",
+   "execution_count": 55,
+   "metadata": {},
+   "outputs": [
     {
      "data": {
       "text/plain": [
-       "344"
+       "{'a': 0,\n",
+       " 'b': 7,\n",
+       " 'c': 0,\n",
+       " 'd': 0,\n",
+       " 'instructions': [(<function __main__.dec>, ['a']),\n",
+       "  (<function __main__.inc>, ['b']),\n",
+       "  (<function __main__.jpz>, ['a', 2]),\n",
+       "  (<function __main__.jmp>, [-3])],\n",
+       " 'pc': 4}"
       ]
      },
-     "execution_count": 35,
+     "execution_count": 55,
      "metadata": {},
      "output_type": "execute_result"
     }
    ],
    "source": [
-    "labelled_instructions = [i.strip() for i in program.split('\\n') \n",
-    "                             if i.strip() \n",
-    "                             if not i.strip().startswith('#')]\n",
-    "instructions = replace_labels(labelled_instructions)\n",
-    "print('\\n'.join(instructions))\n",
-    "open('07-program.txt', 'w').write('\\n'.join(instructions))"
+    "# Adds a to b\n",
+    "program = \"\"\"\n",
+    "loop: dec a\n",
+    "      inc b\n",
+    "      jpz a 2\n",
+    "      jmp loop\n",
+    "\"\"\"\n",
+    "execute(program, initial_state={'a': 3, 'b': 4})"
+   ]
+  },
+  {
+   "cell_type": "code",
+   "execution_count": 61,
+   "metadata": {},
+   "outputs": [
+    {
+     "data": {
+      "text/plain": [
+       "{'a': 4,\n",
+       " 'b': 8,\n",
+       " 'c': 0,\n",
+       " 'd': 0,\n",
+       " 'instructions': [(<function __main__.set_literal>, ['b', 0]),\n",
+       "  (<function __main__.set_literal>, ['c', 0]),\n",
+       "  (<function __main__.jpz>, ['a', 11]),\n",
+       "  (<function __main__.dec>, ['a']),\n",
+       "  (<function __main__.inc>, ['b']),\n",
+       "  (<function __main__.inc>, ['b']),\n",
+       "  (<function __main__.inc>, ['c']),\n",
+       "  (<function __main__.jpz>, ['a', 2]),\n",
+       "  (<function __main__.jmp>, [-5]),\n",
+       "  (<function __main__.dec>, ['c']),\n",
+       "  (<function __main__.inc>, ['a']),\n",
+       "  (<function __main__.jpz>, ['c', 2]),\n",
+       "  (<function __main__.jmp>, [-3]),\n",
+       "  (<function __main__.set_literal>, ['c', 0])],\n",
+       " 'pc': 14}"
+      ]
+     },
+     "execution_count": 61,
+     "metadata": {},
+     "output_type": "execute_result"
+    }
+   ],
+   "source": [
+    "# Puts double a in b, leaves a unchanged\n",
+    "program = \"\"\"\n",
+    "      set b 0\n",
+    "      set c 0\n",
+    "      jpz a end\n",
+    "loop: dec a\n",
+    "      inc b\n",
+    "      inc b\n",
+    "      inc c\n",
+    "      jpz a 2\n",
+    "      jmp loop\n",
+    "lp2:  dec c\n",
+    "      inc a\n",
+    "      jpz c 2\n",
+    "      jmp lp2\n",
+    "end:  set c 0      \n",
+    "\"\"\"\n",
+    "execute(program, initial_state={'a': 4})"
+   ]
+  },
+  {
+   "cell_type": "code",
+   "execution_count": 62,
+   "metadata": {},
+   "outputs": [
+    {
+     "name": "stdout",
+     "output_type": "stream",
+     "text": [
+      "set b 0\n",
+      "set c 0\n",
+      "jpz a 11\n",
+      "dec a\n",
+      "inc b\n",
+      "inc b\n",
+      "inc c\n",
+      "jpz a 2\n",
+      "jmp -5\n",
+      "dec c\n",
+      "inc a\n",
+      "jpz c 2\n",
+      "jmp -3\n",
+      "set c 0\n"
+     ]
+    }
+   ],
+   "source": [
+    "print('\\n'.join(unlabel_listing(program)))"
    ]
   },
   {