Skip to content

Commit

Permalink
bug fixed
Browse files Browse the repository at this point in the history
  • Loading branch information
@karlstroetmann
karlstroetmann committed Dec 5, 2024
1 parent 52b9091 commit a332865
Show file tree
Hide file tree
Showing 2 changed files with 2,715 additions and 109 deletions.
70 changes: 35 additions & 35 deletions Python/Chapter-04-05/02-Test-NFA-2-DFA.ipynb
View file
Original file line number Diff line number Diff line change
Expand Up @@ -197,7 +197,7 @@
"<polygon fill=\"black\" stroke=\"black\" points=\"32.34,-27.5 42.34,-24 32.34,-20.5 32.34,-27.5\"/>\n",
"</g>\n",
"<!-- q1 -->\n",
"<g id=\"node7\" class=\"node\">\n",
"<g id=\"node8\" class=\"node\">\n",
"<title>q1</title>\n",
"<ellipse fill=\"none\" stroke=\"black\" cx=\"166.45\" cy=\"-103\" rx=\"27\" ry=\"18\"/>\n",
"<text text-anchor=\"middle\" x=\"166.45\" y=\"-97.95\" font-family=\"Times,serif\" font-size=\"14.00\">q1</text>\n",
Expand All @@ -210,7 +210,7 @@
"<text text-anchor=\"middle\" x=\"118.83\" y=\"-64.7\" font-family=\"Times,serif\" font-size=\"14.00\">𝜀</text>\n",
"</g>\n",
"<!-- q2 -->\n",
"<g id=\"node8\" class=\"node\">\n",
"<g id=\"node9\" class=\"node\">\n",
"<title>q2</title>\n",
"<ellipse fill=\"none\" stroke=\"black\" cx=\"166.45\" cy=\"-49\" rx=\"27\" ry=\"18\"/>\n",
"<text text-anchor=\"middle\" x=\"166.45\" y=\"-43.95\" font-family=\"Times,serif\" font-size=\"14.00\">q2</text>\n",
Expand All @@ -229,7 +229,7 @@
"<text text-anchor=\"middle\" x=\"359.95\" y=\"-97.95\" font-family=\"Times,serif\" font-size=\"14.00\">q5</text>\n",
"</g>\n",
"<!-- q7 -->\n",
"<g id=\"node5\" class=\"node\">\n",
"<g id=\"node7\" class=\"node\">\n",
"<title>q7</title>\n",
"<ellipse fill=\"none\" stroke=\"black\" cx=\"459.2\" cy=\"-22\" rx=\"27\" ry=\"18\"/>\n",
"<ellipse fill=\"none\" stroke=\"black\" cx=\"459.2\" cy=\"-22\" rx=\"31\" ry=\"22\"/>\n",
Expand All @@ -242,12 +242,38 @@
"<polygon fill=\"black\" stroke=\"black\" points=\"431.65,-48.67 437.09,-39.58 427.17,-43.29 431.65,-48.67\"/>\n",
"<text text-anchor=\"middle\" x=\"407.58\" y=\"-65.7\" font-family=\"Times,serif\" font-size=\"14.00\">𝜀</text>\n",
"</g>\n",
"<!-- q6 -->\n",
"<!-- q3 -->\n",
"<g id=\"node4\" class=\"node\">\n",
"<title>q3</title>\n",
"<ellipse fill=\"none\" stroke=\"black\" cx=\"263.2\" cy=\"-103\" rx=\"27\" ry=\"18\"/>\n",
"<text text-anchor=\"middle\" x=\"263.2\" y=\"-97.95\" font-family=\"Times,serif\" font-size=\"14.00\">q3</text>\n",
"</g>\n",
"<!-- q3&#45;&gt;q5 -->\n",
"<g id=\"edge7\" class=\"edge\">\n",
"<title>q3&#45;&gt;q5</title>\n",
"<path fill=\"none\" stroke=\"black\" d=\"M290.59,-103C300.14,-103 311.11,-103 321.43,-103\"/>\n",
"<polygon fill=\"black\" stroke=\"black\" points=\"321.18,-106.5 331.18,-103 321.18,-99.5 321.18,-106.5\"/>\n",
"<text text-anchor=\"middle\" x=\"311.58\" y=\"-106.2\" font-family=\"Times,serif\" font-size=\"14.00\">a</text>\n",
"</g>\n",
"<!-- q4 -->\n",
"<g id=\"node5\" class=\"node\">\n",
"<title>q4</title>\n",
"<ellipse fill=\"none\" stroke=\"black\" cx=\"263.2\" cy=\"-49\" rx=\"27\" ry=\"18\"/>\n",
"<text text-anchor=\"middle\" x=\"263.2\" y=\"-43.95\" font-family=\"Times,serif\" font-size=\"14.00\">q4</text>\n",
"</g>\n",
"<!-- q6 -->\n",
"<g id=\"node6\" class=\"node\">\n",
"<title>q6</title>\n",
"<ellipse fill=\"none\" stroke=\"black\" cx=\"359.95\" cy=\"-49\" rx=\"27\" ry=\"18\"/>\n",
"<text text-anchor=\"middle\" x=\"359.95\" y=\"-43.95\" font-family=\"Times,serif\" font-size=\"14.00\">q6</text>\n",
"</g>\n",
"<!-- q4&#45;&gt;q6 -->\n",
"<g id=\"edge8\" class=\"edge\">\n",
"<title>q4&#45;&gt;q6</title>\n",
"<path fill=\"none\" stroke=\"black\" d=\"M290.59,-49C300.14,-49 311.11,-49 321.43,-49\"/>\n",
"<polygon fill=\"black\" stroke=\"black\" points=\"321.18,-52.5 331.18,-49 321.18,-45.5 321.18,-52.5\"/>\n",
"<text text-anchor=\"middle\" x=\"311.58\" y=\"-52.2\" font-family=\"Times,serif\" font-size=\"14.00\">b</text>\n",
"</g>\n",
"<!-- q6&#45;&gt;q7 -->\n",
"<g id=\"edge3\" class=\"edge\">\n",
"<title>q6&#45;&gt;q7</title>\n",
Expand All @@ -262,51 +288,25 @@
"<polygon fill=\"black\" stroke=\"black\" points=\"108.96,-15.56 99.49,-20.3 109.85,-22.51 108.96,-15.56\"/>\n",
"<text text-anchor=\"middle\" x=\"263.2\" y=\"-8.7\" font-family=\"Times,serif\" font-size=\"14.00\">𝜀</text>\n",
"</g>\n",
"<!-- q4 -->\n",
"<g id=\"node6\" class=\"node\">\n",
"<title>q4</title>\n",
"<ellipse fill=\"none\" stroke=\"black\" cx=\"263.2\" cy=\"-49\" rx=\"27\" ry=\"18\"/>\n",
"<text text-anchor=\"middle\" x=\"263.2\" y=\"-43.95\" font-family=\"Times,serif\" font-size=\"14.00\">q4</text>\n",
"</g>\n",
"<!-- q4&#45;&gt;q6 -->\n",
"<g id=\"edge7\" class=\"edge\">\n",
"<title>q4&#45;&gt;q6</title>\n",
"<path fill=\"none\" stroke=\"black\" d=\"M290.59,-49C300.14,-49 311.11,-49 321.43,-49\"/>\n",
"<polygon fill=\"black\" stroke=\"black\" points=\"321.18,-52.5 331.18,-49 321.18,-45.5 321.18,-52.5\"/>\n",
"<text text-anchor=\"middle\" x=\"311.58\" y=\"-52.2\" font-family=\"Times,serif\" font-size=\"14.00\">b</text>\n",
"</g>\n",
"<!-- q3 -->\n",
"<g id=\"node9\" class=\"node\">\n",
"<title>q3</title>\n",
"<ellipse fill=\"none\" stroke=\"black\" cx=\"263.2\" cy=\"-103\" rx=\"27\" ry=\"18\"/>\n",
"<text text-anchor=\"middle\" x=\"263.2\" y=\"-97.95\" font-family=\"Times,serif\" font-size=\"14.00\">q3</text>\n",
"</g>\n",
"<!-- q1&#45;&gt;q3 -->\n",
"<g id=\"edge8\" class=\"edge\">\n",
"<g id=\"edge9\" class=\"edge\">\n",
"<title>q1&#45;&gt;q3</title>\n",
"<path fill=\"none\" stroke=\"black\" d=\"M193.84,-103C203.39,-103 214.36,-103 224.68,-103\"/>\n",
"<polygon fill=\"black\" stroke=\"black\" points=\"224.43,-106.5 234.43,-103 224.43,-99.5 224.43,-106.5\"/>\n",
"<text text-anchor=\"middle\" x=\"214.83\" y=\"-106.2\" font-family=\"Times,serif\" font-size=\"14.00\">b</text>\n",
"</g>\n",
"<!-- q2&#45;&gt;q4 -->\n",
"<g id=\"edge9\" class=\"edge\">\n",
"<g id=\"edge10\" class=\"edge\">\n",
"<title>q2&#45;&gt;q4</title>\n",
"<path fill=\"none\" stroke=\"black\" d=\"M193.84,-49C203.39,-49 214.36,-49 224.68,-49\"/>\n",
"<polygon fill=\"black\" stroke=\"black\" points=\"224.43,-52.5 234.43,-49 224.43,-45.5 224.43,-52.5\"/>\n",
"<text text-anchor=\"middle\" x=\"214.83\" y=\"-52.2\" font-family=\"Times,serif\" font-size=\"14.00\">a</text>\n",
"</g>\n",
"<!-- q3&#45;&gt;q5 -->\n",
"<g id=\"edge10\" class=\"edge\">\n",
"<title>q3&#45;&gt;q5</title>\n",
"<path fill=\"none\" stroke=\"black\" d=\"M290.59,-103C300.14,-103 311.11,-103 321.43,-103\"/>\n",
"<polygon fill=\"black\" stroke=\"black\" points=\"321.18,-106.5 331.18,-103 321.18,-99.5 321.18,-106.5\"/>\n",
"<text text-anchor=\"middle\" x=\"311.58\" y=\"-106.2\" font-family=\"Times,serif\" font-size=\"14.00\">a</text>\n",
"</g>\n",
"</g>\n",
"</svg>\n"
],
"text/plain": [
"<graphviz.graphs.Digraph at 0x1143b78c0>"
"<graphviz.graphs.Digraph at 0x107843890>"
]
},
"execution_count": 9,
Expand All @@ -323,7 +323,7 @@
"metadata": {},
"source": [
"This recognizes the same language as the language described by\n",
"$$ (a \\cdot b + b \\cdot a) \\cdot ((a \\cdot b + b \\cdot a)\\cdot(a \\cdot b + b \\cdot a))^* $$\n",
"$$ (a \\cdot b + b \\cdot a) \\cdot (a \\cdot b + b \\cdot a)^* $$\n",
"Let us convert it into a deterministic <span style=\"font-variant:small-caps;\">Fsm</span>: "
]
},
Expand Down Expand Up @@ -623,7 +623,7 @@
"name": "python",
"nbconvert_exporter": "python",
"pygments_lexer": "ipython3",
"version": "3.13.0"
"version": "3.12.7"
},
"varInspector": {
"cols": {
Expand Down
Loading

0 comments on commit a332865

Please sign in to comment.