DFAviz.ipynb

{
 "cells": [
  {
   "cell_type": "code",
   "execution_count": 1,
   "metadata": {},
   "outputs": [],
   "source": [
    "from automata.fa.dfa import DFA\n",
    "\n",
    "from visual_automata.fa.dfa import VisualDFA"
   ]
  },
  {
   "cell_type": "code",
   "execution_count": 2,
   "metadata": {},
   "outputs": [],
   "source": [
    "id_A = DFA(\n",
    "    states={'start', 's0'},\n",
    "    input_symbols={\"123…\", \"ABC…\", \"abc…\"},\n",
    "    transitions={\n",
    "        'start': {'ABC…': 's0', 'abc…': 's0'},\n",
    "\n",
    "        's0': {'123…': 's0', 'ABC…': 's0', 'abc…': 's0'},\n",
    "    },\n",
    "    initial_state='start',\n",
    "    final_states={'s0'},\n",
    "    allow_partial=True\n",
    ")"
   ]
  },
  {
   "cell_type": "code",
   "execution_count": 3,
   "metadata": {},
   "outputs": [
    {
     "data": {
      "image/svg+xml": "<?xml version=\"1.0\" encoding=\"UTF-8\" standalone=\"no\"?>\n<!DOCTYPE svg PUBLIC \"-//W3C//DTD SVG 1.1//EN\"\n \"http://www.w3.org/Graphics/SVG/1.1/DTD/svg11.dtd\">\n<!-- Generated by graphviz version 2.50.0 (20211204.2007)\n -->\n<!-- Pages: 1 -->\n<svg width=\"237pt\" height=\"156pt\"\n viewBox=\"0.00 0.00 237.24 156.50\" xmlns=\"http://www.w3.org/2000/svg\" xmlns:xlink=\"http://www.w3.org/1999/xlink\">\n<g id=\"graph0\" class=\"graph\" transform=\"scale(1 1) rotate(0) translate(4 152.5)\">\n<polygon fill=\"white\" stroke=\"transparent\" points=\"-4,4 -4,-152.5 233.24,-152.5 233.24,4 -4,4\"/>\n<!-- Initial -->\n<g id=\"node1\" class=\"node\">\n<title>Initial</title>\n<ellipse fill=\"black\" stroke=\"black\" cx=\"1.8\" cy=\"-26.65\" rx=\"1.8\" ry=\"1.8\"/>\n</g>\n<!-- start -->\n<g id=\"node3\" class=\"node\">\n<title>start</title>\n<ellipse fill=\"none\" stroke=\"black\" cx=\"67.25\" cy=\"-26.65\" rx=\"26.8\" ry=\"26.8\"/>\n<text text-anchor=\"middle\" x=\"67.25\" y=\"-22.95\" font-family=\"Times New Roman,serif\" font-size=\"14.00\">start</text>\n</g>\n<!-- Initial&#45;&gt;start -->\n<g id=\"edge1\" class=\"edge\">\n<title>Initial&#45;&gt;start</title>\n<path fill=\"none\" stroke=\"black\" d=\"M3.9,-26.65C7.48,-26.65 19.3,-26.65 31.69,-26.65\"/>\n<polygon fill=\"black\" stroke=\"black\" points=\"31.77,-29.62 40.27,-26.65 31.77,-23.67 31.77,-29.62\"/>\n</g>\n<!-- s0 -->\n<g id=\"node2\" class=\"node\">\n<title>s0</title>\n<ellipse fill=\"none\" stroke=\"black\" cx=\"203.74\" cy=\"-26.65\" rx=\"18.72\" ry=\"18.72\"/>\n<ellipse fill=\"none\" stroke=\"black\" cx=\"203.74\" cy=\"-26.65\" rx=\"22.7\" ry=\"22.7\"/>\n<text text-anchor=\"middle\" x=\"203.74\" y=\"-22.95\" font-family=\"Times New Roman,serif\" font-size=\"14.00\">s0</text>\n</g>\n<!-- s0&#45;&gt;s0 -->\n<g id=\"edge4\" class=\"edge\">\n<title>s0&#45;&gt;s0</title>\n<path fill=\"none\" stroke=\"black\" d=\"M199.67,-49.33C199.33,-59.12 200.69,-67.5 203.74,-67.5 205.84,-67.5 207.14,-63.54 207.64,-57.88\"/>\n<polygon fill=\"black\" stroke=\"black\" points=\"210.61,-57.89 207.82,-49.33 204.66,-57.77 210.61,-57.89\"/>\n<text text-anchor=\"middle\" x=\"203.74\" y=\"-71.3\" font-family=\"Times New Roman,serif\" font-size=\"14.00\"> 123… </text>\n</g>\n<!-- s0&#45;&gt;s0 -->\n<g id=\"edge5\" class=\"edge\">\n<title>s0&#45;&gt;s0</title>\n<path fill=\"none\" stroke=\"black\" d=\"M196.7,-48.68C193.79,-66.74 196.14,-85.5 203.74,-85.5 210.1,-85.5 212.78,-72.39 211.79,-57.54\"/>\n<polygon fill=\"black\" stroke=\"black\" points=\"214.7,-56.79 210.78,-48.68 208.79,-57.46 214.7,-56.79\"/>\n<text text-anchor=\"middle\" x=\"203.74\" y=\"-89.3\" font-family=\"Times New Roman,serif\" font-size=\"14.00\"> ABC… </text>\n</g>\n<!-- s0&#45;&gt;s0 -->\n<g id=\"edge6\" class=\"edge\">\n<title>s0&#45;&gt;s0</title>\n<path fill=\"none\" stroke=\"black\" d=\"M194.86,-47.89C188.15,-73.46 191.11,-103.5 203.74,-103.5 214.99,-103.5 218.57,-79.67 214.48,-56.4\"/>\n<polygon fill=\"black\" stroke=\"black\" points=\"217.34,-55.56 212.63,-47.89 211.53,-56.83 217.34,-55.56\"/>\n<text text-anchor=\"middle\" x=\"203.74\" y=\"-107.3\" font-family=\"Times New Roman,serif\" font-size=\"14.00\"> abc… </text>\n</g>\n<!-- start&#45;&gt;s0 -->\n<g id=\"edge2\" class=\"edge\">\n<title>start&#45;&gt;s0</title>\n<path fill=\"none\" stroke=\"black\" d=\"M94.18,-26.65C116.52,-26.65 148.78,-26.65 172.33,-26.65\"/>\n<polygon fill=\"black\" stroke=\"black\" points=\"172.39,-29.62 180.89,-26.65 172.39,-23.67 172.39,-29.62\"/>\n<text text-anchor=\"middle\" x=\"137.4\" y=\"-30.45\" font-family=\"Times New Roman,serif\" font-size=\"14.00\"> ABC… </text>\n</g>\n<!-- start&#45;&gt;s0 -->\n<g id=\"edge3\" class=\"edge\">\n<title>start&#45;&gt;s0</title>\n<path fill=\"none\" stroke=\"black\" d=\"M91.22,-14.56C97.73,-11.72 104.94,-9.1 111.9,-7.65 134.09,-3.03 140.79,-2.65 162.9,-7.65 167.18,-8.62 171.54,-10.1 175.73,-11.83\"/>\n<polygon fill=\"black\" stroke=\"black\" points=\"174.54,-14.55 183.51,-15.36 177,-9.14 174.54,-14.55\"/>\n<text text-anchor=\"middle\" x=\"137.4\" y=\"-11.45\" font-family=\"Times New Roman,serif\" font-size=\"14.00\"> abc… </text>\n</g>\n</g>\n</svg>\n",
      "text/plain": [
       "<graphviz.graphs.Digraph at 0x1ee54d9e440>"
      ]
     },
     "execution_count": 3,
     "metadata": {},
     "output_type": "execute_result"
    }
   ],
   "source": [
    "visual_id_A = VisualDFA(id_A)\n",
    "visual_id_A.show_diagram()"
   ]
  },
  {
   "cell_type": "code",
   "execution_count": 4,
   "metadata": {},
   "outputs": [],
   "source": [
    "num_B = DFA(\n",
    "    states={'start', 's0'},\n",
    "    input_symbols={'0…9'},\n",
    "    transitions={\n",
    "        'start': {'0…9': 's0'},\n",
    "\n",
    "        's0': {'0…9': 's0'},\n",
    "    },\n",
    "    initial_state='start',\n",
    "    final_states={'s0'},\n",
    "    allow_partial=True\n",
    ")"
   ]
  },
  {
   "cell_type": "code",
   "execution_count": 5,
   "metadata": {},
   "outputs": [
    {
     "data": {
      "image/svg+xml": "<?xml version=\"1.0\" encoding=\"UTF-8\" standalone=\"no\"?>\n<!DOCTYPE svg PUBLIC \"-//W3C//DTD SVG 1.1//EN\"\n \"http://www.w3.org/Graphics/SVG/1.1/DTD/svg11.dtd\">\n<!-- Generated by graphviz version 2.50.0 (20211204.2007)\n -->\n<!-- Pages: 1 -->\n<svg width=\"220pt\" height=\"90pt\"\n viewBox=\"0.00 0.00 219.59 90.50\" xmlns=\"http://www.w3.org/2000/svg\" xmlns:xlink=\"http://www.w3.org/1999/xlink\">\n<g id=\"graph0\" class=\"graph\" transform=\"scale(1 1) rotate(0) translate(4 86.5)\">\n<polygon fill=\"white\" stroke=\"transparent\" points=\"-4,4 -4,-86.5 215.59,-86.5 215.59,4 -4,4\"/>\n<!-- Initial -->\n<g id=\"node1\" class=\"node\">\n<title>Initial</title>\n<ellipse fill=\"black\" stroke=\"black\" cx=\"1.8\" cy=\"-26.65\" rx=\"1.8\" ry=\"1.8\"/>\n</g>\n<!-- start -->\n<g id=\"node3\" class=\"node\">\n<title>start</title>\n<ellipse fill=\"none\" stroke=\"black\" cx=\"67.25\" cy=\"-26.65\" rx=\"26.8\" ry=\"26.8\"/>\n<text text-anchor=\"middle\" x=\"67.25\" y=\"-22.95\" font-family=\"Times New Roman,serif\" font-size=\"14.00\">start</text>\n</g>\n<!-- Initial&#45;&gt;start -->\n<g id=\"edge1\" class=\"edge\">\n<title>Initial&#45;&gt;start</title>\n<path fill=\"none\" stroke=\"black\" d=\"M3.9,-26.65C7.48,-26.65 19.3,-26.65 31.69,-26.65\"/>\n<polygon fill=\"black\" stroke=\"black\" points=\"31.77,-29.62 40.27,-26.65 31.77,-23.67 31.77,-29.62\"/>\n</g>\n<!-- s0 -->\n<g id=\"node2\" class=\"node\">\n<title>s0</title>\n<ellipse fill=\"none\" stroke=\"black\" cx=\"188.74\" cy=\"-26.65\" rx=\"18.72\" ry=\"18.72\"/>\n<ellipse fill=\"none\" stroke=\"black\" cx=\"188.74\" cy=\"-26.65\" rx=\"22.7\" ry=\"22.7\"/>\n<text text-anchor=\"middle\" x=\"188.74\" y=\"-22.95\" font-family=\"Times New Roman,serif\" font-size=\"14.00\">s0</text>\n</g>\n<!-- s0&#45;&gt;s0 -->\n<g id=\"edge3\" class=\"edge\">\n<title>s0&#45;&gt;s0</title>\n<path fill=\"none\" stroke=\"black\" d=\"M178.25,-47.25C176.64,-57.9 180.13,-67.5 188.74,-67.5 194.93,-67.5 198.48,-62.54 199.39,-55.79\"/>\n<polygon fill=\"black\" stroke=\"black\" points=\"202.36,-55.69 199.24,-47.25 196.41,-55.8 202.36,-55.69\"/>\n<text text-anchor=\"middle\" x=\"188.74\" y=\"-71.3\" font-family=\"Times New Roman,serif\" font-size=\"14.00\"> 0…9 </text>\n</g>\n<!-- start&#45;&gt;s0 -->\n<g id=\"edge2\" class=\"edge\">\n<title>start&#45;&gt;s0</title>\n<path fill=\"none\" stroke=\"black\" d=\"M94.18,-26.65C112.75,-26.65 137.82,-26.65 157.34,-26.65\"/>\n<polygon fill=\"black\" stroke=\"black\" points=\"157.37,-29.62 165.87,-26.65 157.37,-23.67 157.37,-29.62\"/>\n<text text-anchor=\"middle\" x=\"129.9\" y=\"-30.45\" font-family=\"Times New Roman,serif\" font-size=\"14.00\"> 0…9 </text>\n</g>\n</g>\n</svg>\n",
      "text/plain": [
       "<graphviz.graphs.Digraph at 0x1ee54d9f250>"
      ]
     },
     "execution_count": 5,
     "metadata": {},
     "output_type": "execute_result"
    }
   ],
   "source": [
    "visual_num_B = VisualDFA(num_B)\n",
    "visual_num_B.show_diagram()"
   ]
  },
  {
   "cell_type": "code",
   "execution_count": 6,
   "metadata": {},
   "outputs": [],
   "source": [
    "semicolon_C = DFA(\n",
    "    states={'start', 's0', 's1'},\n",
    "    input_symbols={';'},\n",
    "    transitions={\n",
    "        'start': {';': 's0'},\n",
    "        's0': {';': 's1'},\n",
    "        's1': {},\n",
    "    },\n",
    "    initial_state='start',\n",
    "    final_states={'s0'},\n",
    "    allow_partial=True\n",
    ")"
   ]
  },
  {
   "cell_type": "code",
   "execution_count": 7,
   "metadata": {},
   "outputs": [
    {
     "data": {
      "image/svg+xml": "<?xml version=\"1.0\" encoding=\"UTF-8\" standalone=\"no\"?>\n<!DOCTYPE svg PUBLIC \"-//W3C//DTD SVG 1.1//EN\"\n \"http://www.w3.org/Graphics/SVG/1.1/DTD/svg11.dtd\">\n<!-- Generated by graphviz version 2.50.0 (20211204.2007)\n -->\n<!-- Pages: 1 -->\n<svg width=\"281pt\" height=\"61pt\"\n viewBox=\"0.00 0.00 281.29 61.30\" xmlns=\"http://www.w3.org/2000/svg\" xmlns:xlink=\"http://www.w3.org/1999/xlink\">\n<g id=\"graph0\" class=\"graph\" transform=\"scale(1 1) rotate(0) translate(4 57.3)\">\n<polygon fill=\"white\" stroke=\"transparent\" points=\"-4,4 -4,-57.3 277.29,-57.3 277.29,4 -4,4\"/>\n<!-- Initial -->\n<g id=\"node1\" class=\"node\">\n<title>Initial</title>\n<ellipse fill=\"black\" stroke=\"black\" cx=\"1.8\" cy=\"-26.65\" rx=\"1.8\" ry=\"1.8\"/>\n</g>\n<!-- start -->\n<g id=\"node4\" class=\"node\">\n<title>start</title>\n<ellipse fill=\"none\" stroke=\"black\" cx=\"67.25\" cy=\"-26.65\" rx=\"26.8\" ry=\"26.8\"/>\n<text text-anchor=\"middle\" x=\"67.25\" y=\"-22.95\" font-family=\"Times New Roman,serif\" font-size=\"14.00\">start</text>\n</g>\n<!-- Initial&#45;&gt;start -->\n<g id=\"edge1\" class=\"edge\">\n<title>Initial&#45;&gt;start</title>\n<path fill=\"none\" stroke=\"black\" d=\"M3.9,-26.65C7.48,-26.65 19.3,-26.65 31.69,-26.65\"/>\n<polygon fill=\"black\" stroke=\"black\" points=\"31.77,-29.62 40.27,-26.65 31.77,-23.67 31.77,-29.62\"/>\n</g>\n<!-- s0 -->\n<g id=\"node2\" class=\"node\">\n<title>s0</title>\n<ellipse fill=\"none\" stroke=\"black\" cx=\"164.74\" cy=\"-26.65\" rx=\"18.72\" ry=\"18.72\"/>\n<ellipse fill=\"none\" stroke=\"black\" cx=\"164.74\" cy=\"-26.65\" rx=\"22.7\" ry=\"22.7\"/>\n<text text-anchor=\"middle\" x=\"164.74\" y=\"-22.95\" font-family=\"Times New Roman,serif\" font-size=\"14.00\">s0</text>\n</g>\n<!-- s1 -->\n<g id=\"node3\" class=\"node\">\n<title>s1</title>\n<ellipse fill=\"none\" stroke=\"black\" cx=\"254.44\" cy=\"-26.65\" rx=\"18.7\" ry=\"18.7\"/>\n<text text-anchor=\"middle\" x=\"254.44\" y=\"-22.95\" font-family=\"Times New Roman,serif\" font-size=\"14.00\">s1</text>\n</g>\n<!-- s0&#45;&gt;s1 -->\n<g id=\"edge3\" class=\"edge\">\n<title>s0&#45;&gt;s1</title>\n<path fill=\"none\" stroke=\"black\" d=\"M187.87,-26.65C199.71,-26.65 214.38,-26.65 226.84,-26.65\"/>\n<polygon fill=\"black\" stroke=\"black\" points=\"226.95,-29.62 235.45,-26.65 226.95,-23.67 226.95,-29.62\"/>\n<text text-anchor=\"middle\" x=\"211.59\" y=\"-30.45\" font-family=\"Times New Roman,serif\" font-size=\"14.00\"> ; </text>\n</g>\n<!-- start&#45;&gt;s0 -->\n<g id=\"edge2\" class=\"edge\">\n<title>start&#45;&gt;s0</title>\n<path fill=\"none\" stroke=\"black\" d=\"M94.09,-26.65C106.09,-26.65 120.45,-26.65 133,-26.65\"/>\n<polygon fill=\"black\" stroke=\"black\" points=\"133.27,-29.62 141.77,-26.65 133.27,-23.67 133.27,-29.62\"/>\n<text text-anchor=\"middle\" x=\"117.9\" y=\"-30.45\" font-family=\"Times New Roman,serif\" font-size=\"14.00\"> ; </text>\n</g>\n</g>\n</svg>\n",
      "text/plain": [
       "<graphviz.graphs.Digraph at 0x1ee54d9ff40>"
      ]
     },
     "execution_count": 7,
     "metadata": {},
     "output_type": "execute_result"
    }
   ],
   "source": [
    "visual_semicolon_C = VisualDFA(semicolon_C)\n",
    "visual_semicolon_C.show_diagram()"
   ]
  },
  {
   "cell_type": "code",
   "execution_count": 8,
   "metadata": {},
   "outputs": [],
   "source": [
    "and_D = DFA(\n",
    "    states={'start', 's0', 's1', 's2'},\n",
    "    input_symbols={'&'},\n",
    "    transitions={\n",
    "        'start': {'&': 's0'},\n",
    "        's0': {'&': 's1'},\n",
    "        's1': {'&': 's2'},\n",
    "        's2': {}\n",
    "    },\n",
    "    initial_state='start',\n",
    "    final_states={'s1'},\n",
    "    allow_partial=True\n",
    ")"
   ]
  },
  {
   "cell_type": "code",
   "execution_count": 9,
   "metadata": {},
   "outputs": [
    {
     "data": {
      "image/svg+xml": "<?xml version=\"1.0\" encoding=\"UTF-8\" standalone=\"no\"?>\n<!DOCTYPE svg PUBLIC \"-//W3C//DTD SVG 1.1//EN\"\n \"http://www.w3.org/Graphics/SVG/1.1/DTD/svg11.dtd\">\n<!-- Generated by graphviz version 2.50.0 (20211204.2007)\n -->\n<!-- Pages: 1 -->\n<svg width=\"388pt\" height=\"61pt\"\n viewBox=\"0.00 0.00 387.99 61.30\" xmlns=\"http://www.w3.org/2000/svg\" xmlns:xlink=\"http://www.w3.org/1999/xlink\">\n<g id=\"graph0\" class=\"graph\" transform=\"scale(1 1) rotate(0) translate(4 57.3)\">\n<polygon fill=\"white\" stroke=\"transparent\" points=\"-4,4 -4,-57.3 383.99,-57.3 383.99,4 -4,4\"/>\n<!-- Initial -->\n<g id=\"node1\" class=\"node\">\n<title>Initial</title>\n<ellipse fill=\"black\" stroke=\"black\" cx=\"1.8\" cy=\"-26.65\" rx=\"1.8\" ry=\"1.8\"/>\n</g>\n<!-- start -->\n<g id=\"node5\" class=\"node\">\n<title>start</title>\n<ellipse fill=\"none\" stroke=\"black\" cx=\"67.25\" cy=\"-26.65\" rx=\"26.8\" ry=\"26.8\"/>\n<text text-anchor=\"middle\" x=\"67.25\" y=\"-22.95\" font-family=\"Times New Roman,serif\" font-size=\"14.00\">start</text>\n</g>\n<!-- Initial&#45;&gt;start -->\n<g id=\"edge1\" class=\"edge\">\n<title>Initial&#45;&gt;start</title>\n<path fill=\"none\" stroke=\"black\" d=\"M3.9,-26.65C7.48,-26.65 19.3,-26.65 31.69,-26.65\"/>\n<polygon fill=\"black\" stroke=\"black\" points=\"31.77,-29.62 40.27,-26.65 31.77,-23.67 31.77,-29.62\"/>\n</g>\n<!-- s0 -->\n<g id=\"node2\" class=\"node\">\n<title>s0</title>\n<ellipse fill=\"none\" stroke=\"black\" cx=\"167.74\" cy=\"-26.65\" rx=\"18.7\" ry=\"18.7\"/>\n<text text-anchor=\"middle\" x=\"167.74\" y=\"-22.95\" font-family=\"Times New Roman,serif\" font-size=\"14.00\">s0</text>\n</g>\n<!-- s1 -->\n<g id=\"node3\" class=\"node\">\n<title>s1</title>\n<ellipse fill=\"none\" stroke=\"black\" cx=\"264.44\" cy=\"-26.65\" rx=\"18.72\" ry=\"18.72\"/>\n<ellipse fill=\"none\" stroke=\"black\" cx=\"264.44\" cy=\"-26.65\" rx=\"22.7\" ry=\"22.7\"/>\n<text text-anchor=\"middle\" x=\"264.44\" y=\"-22.95\" font-family=\"Times New Roman,serif\" font-size=\"14.00\">s1</text>\n</g>\n<!-- s0&#45;&gt;s1 -->\n<g id=\"edge3\" class=\"edge\">\n<title>s0&#45;&gt;s1</title>\n<path fill=\"none\" stroke=\"black\" d=\"M187,-26.65C200.03,-26.65 217.86,-26.65 233.02,-26.65\"/>\n<polygon fill=\"black\" stroke=\"black\" points=\"233.08,-29.62 241.58,-26.65 233.08,-23.67 233.08,-29.62\"/>\n<text text-anchor=\"middle\" x=\"214.09\" y=\"-30.45\" font-family=\"Times New Roman,serif\" font-size=\"14.00\"> &amp; </text>\n</g>\n<!-- s2 -->\n<g id=\"node4\" class=\"node\">\n<title>s2</title>\n<ellipse fill=\"none\" stroke=\"black\" cx=\"361.14\" cy=\"-26.65\" rx=\"18.7\" ry=\"18.7\"/>\n<text text-anchor=\"middle\" x=\"361.14\" y=\"-22.95\" font-family=\"Times New Roman,serif\" font-size=\"14.00\">s2</text>\n</g>\n<!-- s1&#45;&gt;s2 -->\n<g id=\"edge4\" class=\"edge\">\n<title>s1&#45;&gt;s2</title>\n<path fill=\"none\" stroke=\"black\" d=\"M287.4,-26.65C301.16,-26.65 318.97,-26.65 333.53,-26.65\"/>\n<polygon fill=\"black\" stroke=\"black\" points=\"333.6,-29.62 342.1,-26.65 333.6,-23.67 333.6,-29.62\"/>\n<text text-anchor=\"middle\" x=\"314.79\" y=\"-30.45\" font-family=\"Times New Roman,serif\" font-size=\"14.00\"> &amp; </text>\n</g>\n<!-- start&#45;&gt;s0 -->\n<g id=\"edge2\" class=\"edge\">\n<title>start&#45;&gt;s0</title>\n<path fill=\"none\" stroke=\"black\" d=\"M94.13,-26.65C108.25,-26.65 125.7,-26.65 139.96,-26.65\"/>\n<polygon fill=\"black\" stroke=\"black\" points=\"140.3,-29.62 148.8,-26.65 140.3,-23.67 140.3,-29.62\"/>\n<text text-anchor=\"middle\" x=\"121.4\" y=\"-30.45\" font-family=\"Times New Roman,serif\" font-size=\"14.00\"> &amp; </text>\n</g>\n</g>\n</svg>\n",
      "text/plain": [
       "<graphviz.graphs.Digraph at 0x1ee54d9fbe0>"
      ]
     },
     "execution_count": 9,
     "metadata": {},
     "output_type": "execute_result"
    }
   ],
   "source": [
    "visual_and_D = VisualDFA(and_D)\n",
    "visual_and_D.show_diagram()"
   ]
  },
  {
   "cell_type": "code",
   "execution_count": 10,
   "metadata": {},
   "outputs": [],
   "source": [
    "# lol\n",
    "while_E = DFA(\n",
    "    states={'start', 's0', 's1', 's2', 's3', 's4', 's5'},\n",
    "    input_symbols={'w', 'h', 'i', 'l', 'e'},\n",
    "    transitions={\n",
    "        'start': {'w': 's0'},\n",
    "        's0': {'h': 's1'},\n",
    "        's1': {'i': 's2'},\n",
    "        's2': {'l': 's3'},\n",
    "        's3': {'e': 's4'},\n",
    "        's4': {'w': 's5', 'h': 's5', 'i': 's5', 'l': 's5', 'e': 's5'},\n",
    "        's5': {},\n",
    "    },\n",
    "    initial_state='start',\n",
    "    final_states={'s4'},\n",
    "    allow_partial=True\n",
    ")"
   ]
  },
  {
   "cell_type": "code",
   "execution_count": 11,
   "metadata": {},
   "outputs": [
    {
     "data": {
      "image/svg+xml": "<?xml version=\"1.0\" encoding=\"UTF-8\" standalone=\"no\"?>\n<!DOCTYPE svg PUBLIC \"-//W3C//DTD SVG 1.1//EN\"\n \"http://www.w3.org/Graphics/SVG/1.1/DTD/svg11.dtd\">\n<!-- Generated by graphviz version 2.50.0 (20211204.2007)\n -->\n<!-- Pages: 1 -->\n<svg width=\"576pt\" height=\"113pt\"\n viewBox=\"0.00 0.00 576.00 113.14\" xmlns=\"http://www.w3.org/2000/svg\" xmlns:xlink=\"http://www.w3.org/1999/xlink\">\n<g id=\"graph0\" class=\"graph\" transform=\"scale(0.9 0.9) rotate(0) translate(4 121.53)\">\n<polygon fill=\"white\" stroke=\"transparent\" points=\"-4,4 -4,-121.53 635.08,-121.53 635.08,4 -4,4\"/>\n<!-- Initial -->\n<g id=\"node1\" class=\"node\">\n<title>Initial</title>\n<ellipse fill=\"black\" stroke=\"black\" cx=\"1.8\" cy=\"-46.53\" rx=\"1.8\" ry=\"1.8\"/>\n</g>\n<!-- start -->\n<g id=\"node8\" class=\"node\">\n<title>start</title>\n<ellipse fill=\"none\" stroke=\"black\" cx=\"67.25\" cy=\"-46.53\" rx=\"26.8\" ry=\"26.8\"/>\n<text text-anchor=\"middle\" x=\"67.25\" y=\"-42.83\" font-family=\"Times New Roman,serif\" font-size=\"14.00\">start</text>\n</g>\n<!-- Initial&#45;&gt;start -->\n<g id=\"edge1\" class=\"edge\">\n<title>Initial&#45;&gt;start</title>\n<path fill=\"none\" stroke=\"black\" d=\"M3.9,-46.53C7.48,-46.53 19.3,-46.53 31.69,-46.53\"/>\n<polygon fill=\"black\" stroke=\"black\" points=\"31.77,-49.5 40.27,-46.53 31.77,-43.55 31.77,-49.5\"/>\n</g>\n<!-- s0 -->\n<g id=\"node2\" class=\"node\">\n<title>s0</title>\n<ellipse fill=\"none\" stroke=\"black\" cx=\"166.74\" cy=\"-46.53\" rx=\"18.7\" ry=\"18.7\"/>\n<text text-anchor=\"middle\" x=\"166.74\" y=\"-42.83\" font-family=\"Times New Roman,serif\" font-size=\"14.00\">s0</text>\n</g>\n<!-- s1 -->\n<g id=\"node3\" class=\"node\">\n<title>s1</title>\n<ellipse fill=\"none\" stroke=\"black\" cx=\"255.44\" cy=\"-46.53\" rx=\"18.7\" ry=\"18.7\"/>\n<text text-anchor=\"middle\" x=\"255.44\" y=\"-42.83\" font-family=\"Times New Roman,serif\" font-size=\"14.00\">s1</text>\n</g>\n<!-- s0&#45;&gt;s1 -->\n<g id=\"edge3\" class=\"edge\">\n<title>s0&#45;&gt;s1</title>\n<path fill=\"none\" stroke=\"black\" d=\"M185.71,-46.53C197.91,-46.53 214.26,-46.53 227.96,-46.53\"/>\n<polygon fill=\"black\" stroke=\"black\" points=\"228,-49.5 236.5,-46.53 228,-43.55 228,-49.5\"/>\n<text text-anchor=\"middle\" x=\"211.09\" y=\"-50.33\" font-family=\"Times New Roman,serif\" font-size=\"14.00\"> h </text>\n</g>\n<!-- s2 -->\n<g id=\"node4\" class=\"node\">\n<title>s2</title>\n<ellipse fill=\"none\" stroke=\"black\" cx=\"340.14\" cy=\"-46.53\" rx=\"18.7\" ry=\"18.7\"/>\n<text text-anchor=\"middle\" x=\"340.14\" y=\"-42.83\" font-family=\"Times New Roman,serif\" font-size=\"14.00\">s2</text>\n</g>\n<!-- s1&#45;&gt;s2 -->\n<g id=\"edge4\" class=\"edge\">\n<title>s1&#45;&gt;s2</title>\n<path fill=\"none\" stroke=\"black\" d=\"M274.38,-46.53C285.55,-46.53 300.1,-46.53 312.58,-46.53\"/>\n<polygon fill=\"black\" stroke=\"black\" points=\"312.73,-49.5 321.23,-46.53 312.73,-43.55 312.73,-49.5\"/>\n<text text-anchor=\"middle\" x=\"297.79\" y=\"-50.33\" font-family=\"Times New Roman,serif\" font-size=\"14.00\"> i </text>\n</g>\n<!-- s3 -->\n<g id=\"node5\" class=\"node\">\n<title>s3</title>\n<ellipse fill=\"none\" stroke=\"black\" cx=\"424.83\" cy=\"-46.53\" rx=\"18.7\" ry=\"18.7\"/>\n<text text-anchor=\"middle\" x=\"424.83\" y=\"-42.83\" font-family=\"Times New Roman,serif\" font-size=\"14.00\">s3</text>\n</g>\n<!-- s2&#45;&gt;s3 -->\n<g id=\"edge5\" class=\"edge\">\n<title>s2&#45;&gt;s3</title>\n<path fill=\"none\" stroke=\"black\" d=\"M359.08,-46.53C370.24,-46.53 384.8,-46.53 397.28,-46.53\"/>\n<polygon fill=\"black\" stroke=\"black\" points=\"397.42,-49.5 405.92,-46.53 397.42,-43.55 397.42,-49.5\"/>\n<text text-anchor=\"middle\" x=\"382.49\" y=\"-50.33\" font-family=\"Times New Roman,serif\" font-size=\"14.00\"> l </text>\n</g>\n<!-- s4 -->\n<g id=\"node6\" class=\"node\">\n<title>s4</title>\n<ellipse fill=\"none\" stroke=\"black\" cx=\"516.53\" cy=\"-46.53\" rx=\"18.72\" ry=\"18.72\"/>\n<ellipse fill=\"none\" stroke=\"black\" cx=\"516.53\" cy=\"-46.53\" rx=\"22.7\" ry=\"22.7\"/>\n<text text-anchor=\"middle\" x=\"516.53\" y=\"-42.83\" font-family=\"Times New Roman,serif\" font-size=\"14.00\">s4</text>\n</g>\n<!-- s3&#45;&gt;s4 -->\n<g id=\"edge6\" class=\"edge\">\n<title>s3&#45;&gt;s4</title>\n<path fill=\"none\" stroke=\"black\" d=\"M443.99,-46.53C455.74,-46.53 471.35,-46.53 484.99,-46.53\"/>\n<polygon fill=\"black\" stroke=\"black\" points=\"485.1,-49.5 493.6,-46.53 485.1,-43.55 485.1,-49.5\"/>\n<text text-anchor=\"middle\" x=\"468.68\" y=\"-50.33\" font-family=\"Times New Roman,serif\" font-size=\"14.00\"> e </text>\n</g>\n<!-- s5 -->\n<g id=\"node7\" class=\"node\">\n<title>s5</title>\n<ellipse fill=\"none\" stroke=\"black\" cx=\"612.23\" cy=\"-46.53\" rx=\"18.7\" ry=\"18.7\"/>\n<text text-anchor=\"middle\" x=\"612.23\" y=\"-42.83\" font-family=\"Times New Roman,serif\" font-size=\"14.00\">s5</text>\n</g>\n<!-- s4&#45;&gt;s5 -->\n<g id=\"edge7\" class=\"edge\">\n<title>s4&#45;&gt;s5</title>\n<path fill=\"none\" stroke=\"black\" d=\"M527.07,-66.92C537.59,-86.33 555.64,-111.11 575.38,-100.53 586.87,-94.36 595.3,-82.72 601.09,-71.81\"/>\n<polygon fill=\"black\" stroke=\"black\" points=\"603.8,-73.04 604.85,-64.09 598.45,-70.44 603.8,-73.04\"/>\n<text text-anchor=\"middle\" x=\"566.38\" y=\"-106.33\" font-family=\"Times New Roman,serif\" font-size=\"14.00\"> w </text>\n</g>\n<!-- s4&#45;&gt;s5 -->\n<g id=\"edge8\" class=\"edge\">\n<title>s4&#45;&gt;s5</title>\n<path fill=\"none\" stroke=\"black\" d=\"M537.2,-56.83C548.32,-61.43 562.54,-65.26 575.38,-62.53 579.42,-61.67 583.55,-60.32 587.51,-58.76\"/>\n<polygon fill=\"black\" stroke=\"black\" points=\"588.7,-61.49 595.3,-55.36 586.32,-56.03 588.7,-61.49\"/>\n<text text-anchor=\"middle\" x=\"566.38\" y=\"-66.33\" font-family=\"Times New Roman,serif\" font-size=\"14.00\"> h </text>\n</g>\n<!-- s4&#45;&gt;s5 -->\n<g id=\"edge9\" class=\"edge\">\n<title>s4&#45;&gt;s5</title>\n<path fill=\"none\" stroke=\"black\" d=\"M539.5,-44.42C550.31,-43.63 563.52,-43.03 575.38,-43.53 578.4,-43.65 581.57,-43.84 584.71,-44.06\"/>\n<polygon fill=\"black\" stroke=\"black\" points=\"584.67,-47.04 593.38,-44.74 585.13,-41.11 584.67,-47.04\"/>\n<text text-anchor=\"middle\" x=\"566.38\" y=\"-47.33\" font-family=\"Times New Roman,serif\" font-size=\"14.00\"> i </text>\n</g>\n<!-- s4&#45;&gt;s5 -->\n<g id=\"edge10\" class=\"edge\">\n<title>s4&#45;&gt;s5</title>\n<path fill=\"none\" stroke=\"black\" d=\"M535.21,-32.9C546.51,-25.85 561.58,-19.48 575.38,-23.53 580.38,-24.99 585.34,-27.4 589.91,-30.11\"/>\n<polygon fill=\"black\" stroke=\"black\" points=\"588.42,-32.69 597.16,-34.85 591.68,-27.71 588.42,-32.69\"/>\n<text text-anchor=\"middle\" x=\"566.38\" y=\"-27.33\" font-family=\"Times New Roman,serif\" font-size=\"14.00\"> l </text>\n</g>\n<!-- s4&#45;&gt;s5 -->\n<g id=\"edge11\" class=\"edge\">\n<title>s4&#45;&gt;s5</title>\n<path fill=\"none\" stroke=\"black\" d=\"M529.41,-27.17C536.3,-17.86 545.88,-7.62 557.38,-2.53 564.69,0.72 568.15,0.91 575.38,-2.53 584.51,-6.87 592.08,-14.79 597.87,-22.74\"/>\n<polygon fill=\"black\" stroke=\"black\" points=\"595.49,-24.52 602.69,-29.93 600.43,-21.21 595.49,-24.52\"/>\n<text text-anchor=\"middle\" x=\"566.38\" y=\"-6.33\" font-family=\"Times New Roman,serif\" font-size=\"14.00\"> e </text>\n</g>\n<!-- start&#45;&gt;s0 -->\n<g id=\"edge2\" class=\"edge\">\n<title>start&#45;&gt;s0</title>\n<path fill=\"none\" stroke=\"black\" d=\"M94.12,-46.53C108,-46.53 125.09,-46.53 139.09,-46.53\"/>\n<polygon fill=\"black\" stroke=\"black\" points=\"139.28,-49.5 147.78,-46.53 139.28,-43.55 139.28,-49.5\"/>\n<text text-anchor=\"middle\" x=\"120.9\" y=\"-50.33\" font-family=\"Times New Roman,serif\" font-size=\"14.00\"> w </text>\n</g>\n</g>\n</svg>\n",
      "text/plain": [
       "<graphviz.graphs.Digraph at 0x1ee54d9ec20>"
      ]
     },
     "execution_count": 11,
     "metadata": {},
     "output_type": "execute_result"
    }
   ],
   "source": [
    "visual_while_E = VisualDFA(while_E)\n",
    "visual_while_E.show_diagram()"
   ]
  }
 ],
 "metadata": {
  "interpreter": {
   "hash": "6abba399399cf02621588433d009b6342fcb93a5c7911e93803146f143a8717a"
  },
  "kernelspec": {
   "display_name": "Python 3.10.1 64-bit",
   "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.10.1"
  },
  "orig_nbformat": 4
 },
 "nbformat": 4,
 "nbformat_minor": 2
}