graphz-fsm.ipynb

{
 "cells": [
  {
   "cell_type": "code",
   "execution_count": 11,
   "metadata": {},
   "outputs": [
    {
     "data": {
      "image/svg+xml": [
       "<?xml version=\"1.0\" encoding=\"UTF-8\" standalone=\"no\"?>\r\n",
       "<!DOCTYPE svg PUBLIC \"-//W3C//DTD SVG 1.1//EN\"\r\n",
       " \"http://www.w3.org/Graphics/SVG/1.1/DTD/svg11.dtd\">\r\n",
       "<!-- Generated by graphviz version 2.38.0 (20140413.2041)\r\n",
       " -->\r\n",
       "<!-- Title: finite_state_machine_1 Pages: 1 -->\r\n",
       "<svg width=\"576pt\" height=\"258pt\"\r\n",
       " viewBox=\"0.00 0.00 576.00 258.45\" xmlns=\"http://www.w3.org/2000/svg\" xmlns:xlink=\"http://www.w3.org/1999/xlink\">\r\n",
       "<g id=\"graph0\" class=\"graph\" transform=\"scale(0.769883 0.769883) rotate(0) translate(4 331.694)\">\r\n",
       "<title>finite_state_machine_1</title>\r\n",
       "<polygon fill=\"white\" stroke=\"none\" points=\"-4,4 -4,-331.694 744.166,-331.694 744.166,4 -4,4\"/>\r\n",
       "<!-- LR_0 -->\r\n",
       "<g id=\"node1\" class=\"node\"><title>LR_0</title>\r\n",
       "<ellipse fill=\"none\" stroke=\"black\" cx=\"35.8472\" cy=\"-106.847\" rx=\"31.712\" ry=\"31.712\"/>\r\n",
       "<ellipse fill=\"none\" stroke=\"black\" cx=\"35.8472\" cy=\"-106.847\" rx=\"35.695\" ry=\"35.695\"/>\r\n",
       "<text text-anchor=\"middle\" x=\"35.8472\" y=\"-103.147\" font-family=\"Times New Roman,serif\" font-size=\"14.00\">LR_0</text>\r\n",
       "</g>\r\n",
       "<!-- LR_2 -->\r\n",
       "<g id=\"node5\" class=\"node\"><title>LR_2</title>\r\n",
       "<ellipse fill=\"none\" stroke=\"black\" cx=\"174.542\" cy=\"-146.847\" rx=\"31.6951\" ry=\"31.6951\"/>\r\n",
       "<text text-anchor=\"middle\" x=\"174.542\" y=\"-143.147\" font-family=\"Times New Roman,serif\" font-size=\"14.00\">LR_2</text>\r\n",
       "</g>\r\n",
       "<!-- LR_0&#45;&gt;LR_2 -->\r\n",
       "<g id=\"edge1\" class=\"edge\"><title>LR_0&#45;&gt;LR_2</title>\r\n",
       "<path fill=\"none\" stroke=\"black\" d=\"M70.6368,-116.735C89.8449,-122.356 113.995,-129.422 134.071,-135.297\"/>\r\n",
       "<polygon fill=\"black\" stroke=\"black\" points=\"133.274,-138.711 143.855,-138.16 135.24,-131.992 133.274,-138.711\"/>\r\n",
       "<text text-anchor=\"middle\" x=\"107.194\" y=\"-135.647\" font-family=\"Times New Roman,serif\" font-size=\"14.00\">SS(B)</text>\r\n",
       "</g>\r\n",
       "<!-- LR_1 -->\r\n",
       "<g id=\"node6\" class=\"node\"><title>LR_1</title>\r\n",
       "<ellipse fill=\"none\" stroke=\"black\" cx=\"174.542\" cy=\"-54.8472\" rx=\"31.6951\" ry=\"31.6951\"/>\r\n",
       "<text text-anchor=\"middle\" x=\"174.542\" y=\"-51.1472\" font-family=\"Times New Roman,serif\" font-size=\"14.00\">LR_1</text>\r\n",
       "</g>\r\n",
       "<!-- LR_0&#45;&gt;LR_1 -->\r\n",
       "<g id=\"edge2\" class=\"edge\"><title>LR_0&#45;&gt;LR_1</title>\r\n",
       "<path fill=\"none\" stroke=\"black\" d=\"M69.5889,-94.3919C89.2263,-86.9216 114.304,-77.3816 134.909,-69.5435\"/>\r\n",
       "<polygon fill=\"black\" stroke=\"black\" points=\"136.22,-72.7895 144.322,-65.9626 133.731,-66.2469 136.22,-72.7895\"/>\r\n",
       "<text text-anchor=\"middle\" x=\"107.194\" y=\"-89.6472\" font-family=\"Times New Roman,serif\" font-size=\"14.00\">SS(S)</text>\r\n",
       "</g>\r\n",
       "<!-- LR_3 -->\r\n",
       "<g id=\"node2\" class=\"node\"><title>LR_3</title>\r\n",
       "<ellipse fill=\"none\" stroke=\"black\" cx=\"323.236\" cy=\"-35.8472\" rx=\"31.712\" ry=\"31.712\"/>\r\n",
       "<ellipse fill=\"none\" stroke=\"black\" cx=\"323.236\" cy=\"-35.8472\" rx=\"35.695\" ry=\"35.695\"/>\r\n",
       "<text text-anchor=\"middle\" x=\"323.236\" y=\"-32.1472\" font-family=\"Times New Roman,serif\" font-size=\"14.00\">LR_3</text>\r\n",
       "</g>\r\n",
       "<!-- LR_4 -->\r\n",
       "<g id=\"node3\" class=\"node\"><title>LR_4</title>\r\n",
       "<ellipse fill=\"none\" stroke=\"black\" cx=\"323.236\" cy=\"-291.847\" rx=\"31.712\" ry=\"31.712\"/>\r\n",
       "<ellipse fill=\"none\" stroke=\"black\" cx=\"323.236\" cy=\"-291.847\" rx=\"35.695\" ry=\"35.695\"/>\r\n",
       "<text text-anchor=\"middle\" x=\"323.236\" y=\"-288.147\" font-family=\"Times New Roman,serif\" font-size=\"14.00\">LR_4</text>\r\n",
       "</g>\r\n",
       "<!-- LR_8 -->\r\n",
       "<g id=\"node4\" class=\"node\"><title>LR_8</title>\r\n",
       "<ellipse fill=\"none\" stroke=\"black\" cx=\"704.319\" cy=\"-147.847\" rx=\"31.712\" ry=\"31.712\"/>\r\n",
       "<ellipse fill=\"none\" stroke=\"black\" cx=\"704.319\" cy=\"-147.847\" rx=\"35.695\" ry=\"35.695\"/>\r\n",
       "<text text-anchor=\"middle\" x=\"704.319\" y=\"-144.147\" font-family=\"Times New Roman,serif\" font-size=\"14.00\">LR_8</text>\r\n",
       "</g>\r\n",
       "<!-- LR_6 -->\r\n",
       "<g id=\"node7\" class=\"node\"><title>LR_6</title>\r\n",
       "<ellipse fill=\"none\" stroke=\"black\" cx=\"323.236\" cy=\"-172.847\" rx=\"31.6951\" ry=\"31.6951\"/>\r\n",
       "<text text-anchor=\"middle\" x=\"323.236\" y=\"-169.147\" font-family=\"Times New Roman,serif\" font-size=\"14.00\">LR_6</text>\r\n",
       "</g>\r\n",
       "<!-- LR_8&#45;&gt;LR_6 -->\r\n",
       "<g id=\"edge13\" class=\"edge\"><title>LR_8&#45;&gt;LR_6</title>\r\n",
       "<path fill=\"none\" stroke=\"black\" d=\"M669.127,-154.782C625.934,-163.158 549.217,-176.756 482.777,-181.847 454.552,-184.01 447.36,-183.186 419.083,-181.847 401.296,-181.005 381.696,-179.28 364.953,-177.563\"/>\r\n",
       "<polygon fill=\"black\" stroke=\"black\" points=\"365.251,-174.075 354.939,-176.503 364.515,-181.036 365.251,-174.075\"/>\r\n",
       "<text text-anchor=\"middle\" x=\"513.277\" y=\"-184.647\" font-family=\"Times New Roman,serif\" font-size=\"14.00\">S(b)</text>\r\n",
       "</g>\r\n",
       "<!-- LR_5 -->\r\n",
       "<g id=\"node8\" class=\"node\"><title>LR_5</title>\r\n",
       "<ellipse fill=\"none\" stroke=\"black\" cx=\"450.93\" cy=\"-107.847\" rx=\"31.6951\" ry=\"31.6951\"/>\r\n",
       "<text text-anchor=\"middle\" x=\"450.93\" y=\"-104.147\" font-family=\"Times New Roman,serif\" font-size=\"14.00\">LR_5</text>\r\n",
       "</g>\r\n",
       "<!-- LR_8&#45;&gt;LR_5 -->\r\n",
       "<g id=\"edge14\" class=\"edge\"><title>LR_8&#45;&gt;LR_5</title>\r\n",
       "<path fill=\"none\" stroke=\"black\" d=\"M668.545,-142.414C628.191,-136.095 559.65,-125.319 500.777,-115.847 498.086,-115.414 495.312,-114.966 492.517,-114.512\"/>\r\n",
       "<polygon fill=\"black\" stroke=\"black\" points=\"492.845,-111.02 482.413,-112.867 491.72,-117.929 492.845,-111.02\"/>\r\n",
       "<text text-anchor=\"middle\" x=\"575.625\" y=\"-137.647\" font-family=\"Times New Roman,serif\" font-size=\"14.00\">S(a)</text>\r\n",
       "</g>\r\n",
       "<!-- LR_2&#45;&gt;LR_4 -->\r\n",
       "<g id=\"edge6\" class=\"edge\"><title>LR_2&#45;&gt;LR_4</title>\r\n",
       "<path fill=\"none\" stroke=\"black\" d=\"M197.821,-168.87C222.322,-193.087 261.915,-232.223 289.846,-259.831\"/>\r\n",
       "<polygon fill=\"black\" stroke=\"black\" points=\"287.463,-262.397 297.035,-266.938 292.384,-257.418 287.463,-262.397\"/>\r\n",
       "<text text-anchor=\"middle\" x=\"246.889\" y=\"-239.647\" font-family=\"Times New Roman,serif\" font-size=\"14.00\">S(A)</text>\r\n",
       "</g>\r\n",
       "<!-- LR_2&#45;&gt;LR_6 -->\r\n",
       "<g id=\"edge4\" class=\"edge\"><title>LR_2&#45;&gt;LR_6</title>\r\n",
       "<path fill=\"none\" stroke=\"black\" d=\"M205.937,-152.234C227.893,-156.126 257.777,-161.422 281.754,-165.672\"/>\r\n",
       "<polygon fill=\"black\" stroke=\"black\" points=\"281.17,-169.123 291.628,-167.422 282.392,-162.231 281.17,-169.123\"/>\r\n",
       "<text text-anchor=\"middle\" x=\"246.889\" y=\"-167.647\" font-family=\"Times New Roman,serif\" font-size=\"14.00\">SS(b)</text>\r\n",
       "</g>\r\n",
       "<!-- LR_2&#45;&gt;LR_5 -->\r\n",
       "<g id=\"edge5\" class=\"edge\"><title>LR_2&#45;&gt;LR_5</title>\r\n",
       "<path fill=\"none\" stroke=\"black\" d=\"M205.087,-137.127C227.428,-130.219 259.001,-121.39 287.389,-116.847 328.309,-110.299 375.679,-108.299 408.684,-107.786\"/>\r\n",
       "<polygon fill=\"black\" stroke=\"black\" points=\"408.911,-111.284 418.87,-107.668 408.829,-104.284 408.911,-111.284\"/>\r\n",
       "<text text-anchor=\"middle\" x=\"323.236\" y=\"-120.647\" font-family=\"Times New Roman,serif\" font-size=\"14.00\">SS(a)</text>\r\n",
       "</g>\r\n",
       "<!-- LR_1&#45;&gt;LR_3 -->\r\n",
       "<g id=\"edge3\" class=\"edge\"><title>LR_1&#45;&gt;LR_3</title>\r\n",
       "<path fill=\"none\" stroke=\"black\" d=\"M206.293,-50.8642C226.839,-48.2031 254.208,-44.6582 277.196,-41.6808\"/>\r\n",
       "<polygon fill=\"black\" stroke=\"black\" points=\"277.941,-45.1136 287.409,-40.358 277.042,-38.1716 277.941,-45.1136\"/>\r\n",
       "<text text-anchor=\"middle\" x=\"246.889\" y=\"-52.6472\" font-family=\"Times New Roman,serif\" font-size=\"14.00\">S($end)</text>\r\n",
       "</g>\r\n",
       "<!-- LR_6&#45;&gt;LR_6 -->\r\n",
       "<g id=\"edge9\" class=\"edge\"><title>LR_6&#45;&gt;LR_6</title>\r\n",
       "<path fill=\"none\" stroke=\"black\" d=\"M311.262,-202.528C310.87,-213.589 314.861,-222.694 323.236,-222.694 328.863,-222.694 332.511,-218.584 334.18,-212.532\"/>\r\n",
       "<polygon fill=\"black\" stroke=\"black\" points=\"337.667,-212.834 335.21,-202.528 330.704,-212.117 337.667,-212.834\"/>\r\n",
       "<text text-anchor=\"middle\" x=\"323.236\" y=\"-226.494\" font-family=\"Times New Roman,serif\" font-size=\"14.00\">S(b)</text>\r\n",
       "</g>\r\n",
       "<!-- LR_6&#45;&gt;LR_5 -->\r\n",
       "<g id=\"edge10\" class=\"edge\"><title>LR_6&#45;&gt;LR_5</title>\r\n",
       "<path fill=\"none\" stroke=\"black\" d=\"M351.82,-158.583C369.912,-149.227 393.768,-136.89 413.426,-126.724\"/>\r\n",
       "<polygon fill=\"black\" stroke=\"black\" points=\"415.136,-129.781 422.41,-122.078 411.92,-123.563 415.136,-129.781\"/>\r\n",
       "<text text-anchor=\"middle\" x=\"389.083\" y=\"-148.647\" font-family=\"Times New Roman,serif\" font-size=\"14.00\">S(a)</text>\r\n",
       "</g>\r\n",
       "<!-- LR_5&#45;&gt;LR_5 -->\r\n",
       "<g id=\"edge8\" class=\"edge\"><title>LR_5&#45;&gt;LR_5</title>\r\n",
       "<path fill=\"none\" stroke=\"black\" d=\"M439.691,-138.022C439.45,-148.859 443.196,-157.694 450.93,-157.694 456.006,-157.694 459.364,-153.889 461.005,-148.211\"/>\r\n",
       "<polygon fill=\"black\" stroke=\"black\" points=\"464.511,-148.355 462.169,-138.022 457.556,-147.56 464.511,-148.355\"/>\r\n",
       "<text text-anchor=\"middle\" x=\"450.93\" y=\"-161.494\" font-family=\"Times New Roman,serif\" font-size=\"14.00\">S(a)</text>\r\n",
       "</g>\r\n",
       "<!-- LR_7 -->\r\n",
       "<g id=\"node9\" class=\"node\"><title>LR_7</title>\r\n",
       "<ellipse fill=\"none\" stroke=\"black\" cx=\"575.625\" cy=\"-79.8472\" rx=\"31.6951\" ry=\"31.6951\"/>\r\n",
       "<text text-anchor=\"middle\" x=\"575.625\" y=\"-76.1472\" font-family=\"Times New Roman,serif\" font-size=\"14.00\">LR_7</text>\r\n",
       "</g>\r\n",
       "<!-- LR_5&#45;&gt;LR_7 -->\r\n",
       "<g id=\"edge7\" class=\"edge\"><title>LR_5&#45;&gt;LR_7</title>\r\n",
       "<path fill=\"none\" stroke=\"black\" d=\"M482.259,-100.926C497.891,-97.3585 517.169,-92.959 534.063,-89.1037\"/>\r\n",
       "<polygon fill=\"black\" stroke=\"black\" points=\"535.249,-92.4232 544.219,-86.7859 533.691,-85.5986 535.249,-92.4232\"/>\r\n",
       "<text text-anchor=\"middle\" x=\"513.277\" y=\"-100.647\" font-family=\"Times New Roman,serif\" font-size=\"14.00\">S(b)</text>\r\n",
       "</g>\r\n",
       "<!-- LR_7&#45;&gt;LR_8 -->\r\n",
       "<g id=\"edge11\" class=\"edge\"><title>LR_7&#45;&gt;LR_8</title>\r\n",
       "<path fill=\"none\" stroke=\"black\" d=\"M604.384,-94.3732C618.255,-101.666 635.28,-110.668 650.472,-118.847 654.739,-121.145 659.192,-123.56 663.624,-125.976\"/>\r\n",
       "<polygon fill=\"black\" stroke=\"black\" points=\"662.172,-129.17 672.625,-130.896 665.529,-123.028 662.172,-129.17\"/>\r\n",
       "<text text-anchor=\"middle\" x=\"637.972\" y=\"-122.647\" font-family=\"Times New Roman,serif\" font-size=\"14.00\">S(b)</text>\r\n",
       "</g>\r\n",
       "<!-- LR_7&#45;&gt;LR_5 -->\r\n",
       "<g id=\"edge12\" class=\"edge\"><title>LR_7&#45;&gt;LR_5</title>\r\n",
       "<path fill=\"none\" stroke=\"black\" d=\"M544.569,-71.6302C530.928,-69.2535 514.755,-68.3565 500.777,-72.8472 494.781,-74.7738 488.895,-77.7384 483.403,-81.1443\"/>\r\n",
       "<polygon fill=\"black\" stroke=\"black\" points=\"481.431,-78.2524 475.135,-86.7737 485.371,-84.0385 481.431,-78.2524\"/>\r\n",
       "<text text-anchor=\"middle\" x=\"513.277\" y=\"-76.6472\" font-family=\"Times New Roman,serif\" font-size=\"14.00\">S(a)</text>\r\n",
       "</g>\r\n",
       "</g>\r\n",
       "</svg>\r\n"
      ],
      "text/plain": [
       "<graphviz.dot.Digraph at 0x2281f62cba8>"
      ]
     },
     "execution_count": 11,
     "metadata": {},
     "output_type": "execute_result"
    }
   ],
   "source": [
    "from graphviz import Digraph\n",
    "\n",
    "f = Digraph('finite_state_machine_1', filename='fsm1.gv')\n",
    "f.attr(rankdir='LR', size='8,5')\n",
    "\n",
    "f.attr('node', shape='doublecircle')\n",
    "f.node('LR_0')\n",
    "f.node('LR_3')\n",
    "f.node('LR_4')\n",
    "f.node('LR_8')\n",
    "\n",
    "f.attr('node', shape='circle')\n",
    "f.edge('LR_0', 'LR_2', label='SS(B)')\n",
    "f.edge('LR_0', 'LR_1', label='SS(S)')\n",
    "f.edge('LR_1', 'LR_3', label='S($end)')\n",
    "f.edge('LR_2', 'LR_6', label='SS(b)')\n",
    "f.edge('LR_2', 'LR_5', label='SS(a)')\n",
    "f.edge('LR_2', 'LR_4', label='S(A)')\n",
    "f.edge('LR_5', 'LR_7', label='S(b)')\n",
    "f.edge('LR_5', 'LR_5', label='S(a)')\n",
    "f.edge('LR_6', 'LR_6', label='S(b)')\n",
    "f.edge('LR_6', 'LR_5', label='S(a)')\n",
    "f.edge('LR_7', 'LR_8', label='S(b)')\n",
    "f.edge('LR_7', 'LR_5', label='S(a)')\n",
    "f.edge('LR_8', 'LR_6', label='S(b)')\n",
    "f.edge('LR_8', 'LR_5', label='S(a)')\n",
    "\n",
    "f"
   ]
  },
  {
   "cell_type": "code",
   "execution_count": 12,
   "metadata": {},
   "outputs": [
    {
     "data": {
      "text/plain": [
       "'fsm1.gv.pdf'"
      ]
     },
     "execution_count": 12,
     "metadata": {},
     "output_type": "execute_result"
    }
   ],
   "source": [
    "f.render('fsm1.gv', view=True)  "
   ]
  },
  {
   "cell_type": "code",
   "execution_count": 13,
   "metadata": {},
   "outputs": [
    {
     "data": {
      "image/svg+xml": [
       "<?xml version=\"1.0\" encoding=\"UTF-8\" standalone=\"no\"?>\r\n",
       "<!DOCTYPE svg PUBLIC \"-//W3C//DTD SVG 1.1//EN\"\r\n",
       " \"http://www.w3.org/Graphics/SVG/1.1/DTD/svg11.dtd\">\r\n",
       "<!-- Generated by graphviz version 2.38.0 (20140413.2041)\r\n",
       " -->\r\n",
       "<!-- Title: finite_state_machine_2 Pages: 1 -->\r\n",
       "<svg width=\"306pt\" height=\"100pt\"\r\n",
       " viewBox=\"0.00 0.00 306.20 100.10\" xmlns=\"http://www.w3.org/2000/svg\" xmlns:xlink=\"http://www.w3.org/1999/xlink\">\r\n",
       "<g id=\"graph0\" class=\"graph\" transform=\"scale(1 1) rotate(0) translate(4 96.098)\">\r\n",
       "<title>finite_state_machine_2</title>\r\n",
       "<polygon fill=\"white\" stroke=\"none\" points=\"-4,4 -4,-96.098 302.196,-96.098 302.196,4 -4,4\"/>\r\n",
       "<!-- A -->\r\n",
       "<g id=\"node1\" class=\"node\"><title>A</title>\r\n",
       "<ellipse fill=\"none\" stroke=\"black\" cx=\"101\" cy=\"-52.098\" rx=\"18\" ry=\"18\"/>\r\n",
       "<ellipse fill=\"none\" stroke=\"black\" cx=\"101\" cy=\"-52.098\" rx=\"22\" ry=\"22\"/>\r\n",
       "<text text-anchor=\"middle\" x=\"101\" y=\"-48.398\" font-family=\"Times New Roman,serif\" font-size=\"14.00\">A</text>\r\n",
       "</g>\r\n",
       "<!-- A&#45;&gt;A -->\r\n",
       "<g id=\"edge6\" class=\"edge\"><title>A&#45;&gt;A</title>\r\n",
       "<path fill=\"none\" stroke=\"black\" d=\"M93.3173,-73.0888C92.3688,-83.1853 94.9297,-92.098 101,-92.098 104.889,-92.098 107.337,-88.4402 108.346,-83.1567\"/>\r\n",
       "<polygon fill=\"black\" stroke=\"black\" points=\"111.846,-83.2004 108.683,-73.0888 104.85,-82.966 111.846,-83.2004\"/>\r\n",
       "</g>\r\n",
       "<!-- B -->\r\n",
       "<g id=\"node2\" class=\"node\"><title>B</title>\r\n",
       "<ellipse fill=\"none\" stroke=\"black\" cx=\"189\" cy=\"-52.098\" rx=\"18\" ry=\"18\"/>\r\n",
       "<ellipse fill=\"none\" stroke=\"black\" cx=\"189\" cy=\"-52.098\" rx=\"22\" ry=\"22\"/>\r\n",
       "<text text-anchor=\"middle\" x=\"189\" y=\"-48.398\" font-family=\"Times New Roman,serif\" font-size=\"14.00\">B</text>\r\n",
       "</g>\r\n",
       "<!-- A&#45;&gt;B -->\r\n",
       "<g id=\"edge3\" class=\"edge\"><title>A&#45;&gt;B</title>\r\n",
       "<path fill=\"none\" stroke=\"black\" d=\"M123.258,-52.098C133.36,-52.098 145.635,-52.098 156.769,-52.098\"/>\r\n",
       "<polygon fill=\"black\" stroke=\"black\" points=\"156.986,-55.5981 166.986,-52.098 156.986,-48.5981 156.986,-55.5981\"/>\r\n",
       "<text text-anchor=\"middle\" x=\"145\" y=\"-55.898\" font-family=\"Times New Roman,serif\" font-size=\"14.00\">b</text>\r\n",
       "</g>\r\n",
       "<!-- Err -->\r\n",
       "<g id=\"node4\" class=\"node\"><title>Err</title>\r\n",
       "<ellipse fill=\"none\" stroke=\"black\" cx=\"276.098\" cy=\"-22.098\" rx=\"22.1965\" ry=\"22.1965\"/>\r\n",
       "<text text-anchor=\"middle\" x=\"276.098\" y=\"-18.398\" font-family=\"Times New Roman,serif\" font-size=\"14.00\">Err</text>\r\n",
       "</g>\r\n",
       "<!-- B&#45;&gt;Err -->\r\n",
       "<g id=\"edge4\" class=\"edge\"><title>B&#45;&gt;Err</title>\r\n",
       "<path fill=\"none\" stroke=\"black\" d=\"M210.167,-44.9885C220.659,-41.2897 233.689,-36.6961 245.317,-32.5968\"/>\r\n",
       "<polygon fill=\"black\" stroke=\"black\" points=\"246.808,-35.7823 255.076,-29.1566 244.481,-29.1806 246.808,-35.7823\"/>\r\n",
       "<text text-anchor=\"middle\" x=\"232.5\" y=\"-40.898\" font-family=\"Times New Roman,serif\" font-size=\"14.00\">a</text>\r\n",
       "</g>\r\n",
       "<!-- 0 -->\r\n",
       "<g id=\"node3\" class=\"node\"><title>0</title>\r\n",
       "<ellipse fill=\"none\" stroke=\"black\" cx=\"18\" cy=\"-22.098\" rx=\"18\" ry=\"18\"/>\r\n",
       "<text text-anchor=\"middle\" x=\"18\" y=\"-18.398\" font-family=\"Times New Roman,serif\" font-size=\"14.00\">0</text>\r\n",
       "</g>\r\n",
       "<!-- 0&#45;&gt;A -->\r\n",
       "<g id=\"edge1\" class=\"edge\"><title>0&#45;&gt;A</title>\r\n",
       "<path fill=\"none\" stroke=\"black\" d=\"M35.003,-28.0251C45.0885,-31.7605 58.4205,-36.6982 70.384,-41.1291\"/>\r\n",
       "<polygon fill=\"black\" stroke=\"black\" points=\"69.4169,-44.5033 80.01,-44.6943 71.8481,-37.939 69.4169,-44.5033\"/>\r\n",
       "<text text-anchor=\"middle\" x=\"57.5\" y=\"-40.898\" font-family=\"Times New Roman,serif\" font-size=\"14.00\">a</text>\r\n",
       "</g>\r\n",
       "<!-- 0&#45;&gt;Err -->\r\n",
       "<g id=\"edge2\" class=\"edge\"><title>0&#45;&gt;Err</title>\r\n",
       "<path fill=\"none\" stroke=\"black\" d=\"M36.0683,-21.7379C48.0749,-21.5031 64.5193,-21.2187 79,-21.098 137.665,-20.6092 152.335,-20.6404 211,-21.098 221.573,-21.1805 233.125,-21.3395 243.475,-21.5068\"/>\r\n",
       "<polygon fill=\"black\" stroke=\"black\" points=\"243.675,-25.0106 253.733,-21.6814 243.794,-18.0116 243.675,-25.0106\"/>\r\n",
       "<text text-anchor=\"middle\" x=\"145\" y=\"-23.898\" font-family=\"Times New Roman,serif\" font-size=\"14.00\">b</text>\r\n",
       "</g>\r\n",
       "<!-- Err&#45;&gt;Err -->\r\n",
       "<g id=\"edge5\" class=\"edge\"><title>Err&#45;&gt;Err</title>\r\n",
       "<path fill=\"none\" stroke=\"black\" d=\"M268.415,-43.1402C267.467,-53.2615 270.028,-62.1961 276.098,-62.1961 279.987,-62.1961 282.435,-58.5293 283.444,-53.2328\"/>\r\n",
       "<polygon fill=\"black\" stroke=\"black\" points=\"286.945,-53.2515 283.781,-43.1402 279.949,-53.0178 286.945,-53.2515\"/>\r\n",
       "<text text-anchor=\"middle\" x=\"276.098\" y=\"-65.9961\" font-family=\"Times New Roman,serif\" font-size=\"14.00\">a,b</text>\r\n",
       "</g>\r\n",
       "</g>\r\n",
       "</svg>\r\n"
      ],
      "text/plain": [
       "<graphviz.dot.Digraph at 0x2281f5fa8d0>"
      ]
     },
     "execution_count": 13,
     "metadata": {},
     "output_type": "execute_result"
    }
   ],
   "source": [
    "from graphviz import Digraph\n",
    "\n",
    "g = Digraph('finite_state_machine_2', filename='fsm2.gv')\n",
    "g.attr(rankdir='LR', size='8,5')\n",
    "\n",
    "g.attr('node', shape='doublecircle')\n",
    "g.node('A')\n",
    "g.node('B')\n",
    "\n",
    "\n",
    "g.attr('node', shape='circle')\n",
    "g.edge('0', 'A', label='a')\n",
    "g.edge('0', 'Err', label='b')\n",
    "g.edge('A', 'B', label='b')\n",
    "g.edge('B', 'Err', label='a')\n",
    "g.edge('Err', 'Err', label='a,b')\n",
    "g.edge('A', 'A', label='')\n",
    "\n",
    "g"
   ]
  },
  {
   "cell_type": "code",
   "execution_count": 14,
   "metadata": {},
   "outputs": [
    {
     "data": {
      "text/plain": [
       "'fsm2.gv.pdf'"
      ]
     },
     "execution_count": 14,
     "metadata": {},
     "output_type": "execute_result"
    }
   ],
   "source": [
    "g.render('fsm2.gv', view=True)  "
   ]
  },
  {
   "cell_type": "code",
   "execution_count": null,
   "metadata": {},
   "outputs": [],
   "source": []
  }
 ],
 "metadata": {
  "kernelspec": {
   "display_name": "Python 3",
   "language": "python",
   "name": "python3"
  },
  "language_info": {
   "codemirror_mode": {
    "name": "ipython",
    "version": 3
   },
   "file_extension": ".py",
   "mimetype": "text/x-python",
   "name": "python",
   "nbconvert_exporter": "python",
   "pygments_lexer": "ipython3",
   "version": "3.7.3"
  }
 },
 "nbformat": 4,
 "nbformat_minor": 2
}