From 54a2dc609410c94d668144015dcdd269d3b7e5c8 Mon Sep 17 00:00:00 2001
From: Romain Vuillemot <romain.vuillemot@gmail.com>
Date: Thu, 23 Nov 2023 16:44:58 +0100
Subject: [PATCH] Update INF-TC1-td06.ipynb
---
TD06/INF-TC1-td06.ipynb | 103 ++++++++++++++++++----------------------
1 file changed, 45 insertions(+), 58 deletions(-)
diff --git a/TD06/INF-TC1-td06.ipynb b/TD06/INF-TC1-td06.ipynb
index 1b960f0..40c5fbb 100644
--- a/TD06/INF-TC1-td06.ipynb
+++ b/TD06/INF-TC1-td06.ipynb
@@ -2,7 +2,7 @@
"cells": [
{
"cell_type": "markdown",
- "id": "d5044a8c",
+ "id": "013ab73d",
"metadata": {},
"source": [
"NAME:"
@@ -235,7 +235,7 @@
"outputs": [],
"source": [
"from IPython.core.display import HTML\n",
- "HTML('<svg width=\"368pt\" height=\"118pt\" viewBox=\"0.00 0.00 368.00 118.00\" xmlns=\"http://www.w3.org/2000/svg\" xmlns:xlink=\"http://www.w3.org/1999/xlink\"><g id=\"graph0\" class=\"graph\" transform=\"scale(1 1) rotate(0) translate(4 114)\"><polygon fill=\"white\" stroke=\"none\" points=\"-4,4 -4,-114 364,-114 364,4 -4,4\"/><g id=\"node1\" class=\"node\"><title>0</title><ellipse fill=\"none\" stroke=\"black\" stroke-width=\"2\" cx=\"18\" cy=\"-39\" rx=\"18\" ry=\"18\"/><text text-anchor=\"middle\" x=\"18\" y=\"-35.3\" font-family=\"Times,serif\" font-size=\"14.00\">0</text></g><g id=\"node2\" class=\"node\"><title>1</title><ellipse fill=\"none\" stroke=\"black\" cx=\"97\" cy=\"-52\" rx=\"18\" ry=\"18\"/><text text-anchor=\"middle\" x=\"97\" y=\"-48.3\" font-family=\"Times,serif\" font-size=\"14.00\">1</text></g><g id=\"edge1\" class=\"edge\"><title>0→1</title><path fill=\"none\" stroke=\"black\" d=\"M34.18,-47.66C40.16,-50.6 47.21,-53.52 54,-55 58.45,-55.97 63.23,-56.29 67.9,-56.22\"/><polygon fill=\"black\" stroke=\"black\" points=\"67.86,-59.73 77.58,-55.49 67.34,-52.75 67.86,-59.73\"/><text text-anchor=\"middle\" x=\"57.5\" y=\"-58.8\" font-family=\"Times,serif\" font-size=\"14.00\">a</text></g><g id=\"edge2\" class=\"edge\"><title>1→0</title><path fill=\"none\" stroke=\"black\" d=\"M80.82,-43.34C74.84,-40.4 67.79,-37.48 61,-36 56.55,-35.03 51.77,-34.71 47.1,-34.78\"/><polygon fill=\"black\" stroke=\"black\" points=\"47.14,-31.27 37.42,-35.51 47.66,-38.25 47.14,-31.27\"/><text text-anchor=\"middle\" x=\"57.5\" y=\"-39.8\" font-family=\"Times,serif\" font-size=\"14.00\">b</text></g><g id=\"node3\" class=\"node\"><title>2</title><ellipse fill=\"none\" stroke=\"black\" cx=\"176\" cy=\"-52\" rx=\"18\" ry=\"18\"/><text text-anchor=\"middle\" x=\"176\" y=\"-48.3\" font-family=\"Times,serif\" font-size=\"14.00\">2</text></g><g id=\"edge3\" class=\"edge\"><title>1→2</title><path fill=\"none\" stroke=\"black\" d=\"M115.47,-52C124.53,-52 135.83,-52 146.14,-52\"/><polygon fill=\"black\" stroke=\"black\" points=\"146.08,-55.5 156.08,-52 146.08,-48.5 146.08,-55.5\"/><text text-anchor=\"middle\" x=\"136.5\" y=\"-55.8\" font-family=\"Times,serif\" font-size=\"14.00\">a</text></g><g id=\"edge4\" class=\"edge\"><title>2→2</title><path fill=\"none\" stroke=\"black\" d=\"M169,-69.04C167.57,-78.86 169.91,-88 176,-88 179.52,-88 181.79,-84.94 182.8,-80.47\"/><polygon fill=\"black\" stroke=\"black\" points=\"186.3,-80.61 182.97,-70.55 179.3,-80.49 186.3,-80.61\"/><text text-anchor=\"middle\" x=\"176\" y=\"-91.8\" font-family=\"Times,serif\" font-size=\"14.00\">a</text></g><g id=\"node4\" class=\"node\"><title>3</title><ellipse fill=\"none\" stroke=\"black\" cx=\"255\" cy=\"-22\" rx=\"18\" ry=\"18\"/><text text-anchor=\"middle\" x=\"255\" y=\"-18.3\" font-family=\"Times,serif\" font-size=\"14.00\">3</text></g><g id=\"edge5\" class=\"edge\"><title>2→3</title><path fill=\"none\" stroke=\"black\" d=\"M193.33,-45.64C203.13,-41.82 215.84,-36.87 227.09,-32.48\"/><polygon fill=\"black\" stroke=\"black\" points=\"228.24,-35.79 236.28,-28.9 225.7,-29.27 228.24,-35.79\"/><text text-anchor=\"middle\" x=\"215.5\" y=\"-40.8\" font-family=\"Times,serif\" font-size=\"14.00\">b</text></g><g id=\"edge6\" class=\"edge\"><title>3→0</title><path fill=\"none\" stroke=\"black\" d=\"M236.53,-21.08C204.94,-19.69 136.3,-17.91 79,-25 68.32,-26.32 56.76,-28.77 46.67,-31.25\"/><polygon fill=\"black\" stroke=\"black\" points=\"45.9,-27.83 37.1,-33.73 47.66,-34.61 45.9,-27.83\"/><text text-anchor=\"middle\" x=\"136.5\" y=\"-23.8\" font-family=\"Times,serif\" font-size=\"14.00\">a</text></g><g id=\"node5\" class=\"node\"><title>4</title><ellipse fill=\"none\" stroke=\"black\" cx=\"338\" cy=\"-22\" rx=\"18\" ry=\"18\"/><ellipse fill=\"none\" stroke=\"black\" cx=\"338\" cy=\"-22\" rx=\"22\" ry=\"22\"/><text text-anchor=\"middle\" x=\"338\" y=\"-18.3\" font-family=\"Times,serif\" font-size=\"14.00\">4</text></g><g id=\"edge7\" class=\"edge\"><title>3→4</title><path fill=\"none\" stroke=\"black\" d=\"M273.18,-22C282.15,-22 293.45,-22 304.03,-22\"/><polygon fill=\"black\" stroke=\"black\" points=\"304,-25.5 314,-22 304,-18.5 304,-25.5\"/><text text-anchor=\"middle\" x=\"294.5\" y=\"-25.8\" font-family=\"Times,serif\" font-size=\"14.00\">a</text></g><g id=\"edge8\" class=\"edge\"><title>4→4</title><path fill=\"none\" stroke=\"black\" d=\"M333.99,-43.81C333.6,-53.56 334.94,-62 338,-62 339.72,-62 340.9,-59.33 341.53,-55.26\"/><polygon fill=\"black\" stroke=\"black\" points=\"345.02,-55.46 341.95,-45.32 338.03,-55.16 345.02,-55.46\"/><text text-anchor=\"middle\" x=\"338\" y=\"-65.8\" font-family=\"Times,serif\" font-size=\"14.00\">a</text></g><g id=\"edge9\" class=\"edge\"><title>4→4</title><path fill=\"none\" stroke=\"black\" d=\"M331.14,-43.11C328.11,-61.1 330.4,-80 338,-80 344,-80 346.69,-68.23 346.07,-54.43\"/><polygon fill=\"black\" stroke=\"black\" points=\"349.56,-54.19 345.02,-44.62 342.6,-54.93 349.56,-54.19\"/><text text-anchor=\"middle\" x=\"338\" y=\"-83.8\" font-family=\"Times,serif\" font-size=\"14.00\">b</text></g></g></g></svg>')"
+ "HTML('<?xml version=\"1.0\" encoding=\"UTF-8\" standalone=\"no\"?><!-- Generated by graphviz version 7.1.0 (20230121.1956) --><!-- Pages: 1 --><svg width=\"409pt\" height=\"118pt\" viewBox=\"0.00 0.00 408.60 118.00\" version=\"1.1\" id=\"svg487\" sodipodi:docname=\"a.svg\" inkscape:version=\"1.2.2 (b0a8486, 2022-12-01)\" xmlns:inkscape=\"http://www.inkscape.org/namespaces/inkscape\" xmlns:sodipodi=\"http://sodipodi.sourceforge.net/DTD/sodipodi-0.dtd\" xmlns=\"http://www.w3.org/2000/svg\" xmlns:svg=\"http://www.w3.org/2000/svg\"> <defs id=\"defs491\" /> <sodipodi:namedview id=\"namedview489\" pagecolor=\"#ffffff\" bordercolor=\"#000000\" borderopacity=\"0.25\" inkscape:showpageshadow=\"2\" inkscape:pageopacity=\"0.0\" inkscape:pagecheckerboard=\"0\" inkscape:deskcolor=\"#d1d1d1\" inkscape:document-units=\"pt\" showgrid=\"false\" inkscape:zoom=\"1.5\" inkscape:cx=\"273\" inkscape:cy=\"78.666667\" inkscape:window-width=\"1309\" inkscape:window-height=\"456\" inkscape:window-x=\"403\" inkscape:window-y=\"317\" inkscape:window-maximized=\"0\" inkscape:current-layer=\"svg487\" /> <g id=\"graph0\" class=\"graph\" transform=\"scale(1 1) rotate(0) translate(4 114)\"> <polygon fill=\"white\" stroke=\"none\" points=\"-4,4 -4,-114 404.6,-114 404.6,4 -4,4\" id=\"polygon345\" /> <!-- init --> <g id=\"node1\" class=\"node\"> <title id=\"title347\">init</title> <ellipse fill=\"black\" stroke=\"black\" cx=\"1.8\" cy=\"-39\" rx=\"1.8\" ry=\"1.8\" id=\"ellipse349\" /> </g> <!-- Q_0 --> <g id=\"node2\" class=\"node\"> <title id=\"title352\">Q_0</title> <ellipse fill=\"none\" stroke=\"black\" cx=\"58.6\" cy=\"-39\" rx=\"18\" ry=\"18\" id=\"ellipse354\" /> <text text-anchor=\"middle\" x=\"58.6\" y=\"-35.3\" font-family=\"Times,serif\" font-size=\"14.00\" id=\"text356\">0</text> </g> <!-- init->Q_0 --> <g id=\"edge1\" class=\"edge\"> <title id=\"title359\">init->Q_0</title> <path fill=\"none\" stroke=\"black\" d=\"M3.75,-39C6.96,-39 17.8,-39 28.92,-39\" id=\"path361\" /> <polygon fill=\"black\" stroke=\"black\" points=\"28.79,-42.5 38.79,-39 28.78,-35.5 28.79,-42.5\" id=\"polygon363\" /> </g> <!-- Q_0->Q_0 --> <g id=\"edge3\" class=\"edge\"> <title id=\"title366\">Q_0->Q_0</title> <path fill=\"none\" stroke=\"black\" d=\"M52.13,-56.04C50.81,-65.86 52.97,-75 58.6,-75 61.86,-75 63.95,-71.94 64.88,-67.47\" id=\"path368\" /> <polygon fill=\"black\" stroke=\"black\" points=\"68.38,-67.61 65.04,-57.55 61.38,-67.49 68.38,-67.61\" id=\"polygon370\" /> <text text-anchor=\"middle\" x=\"58.6\" y=\"-78.8\" font-family=\"Times,serif\" font-size=\"14.00\" id=\"text372\">b</text> </g> <!-- Q_1 --> <g id=\"node3\" class=\"node\"> <title id=\"title375\">Q_1</title> <ellipse fill=\"none\" stroke=\"black\" cx=\"137.6\" cy=\"-52\" rx=\"18\" ry=\"18\" id=\"ellipse377\" /> <text text-anchor=\"middle\" x=\"137.6\" y=\"-48.3\" font-family=\"Times,serif\" font-size=\"14.00\" id=\"text379\">1</text> </g> <!-- Q_0->Q_1 --> <g id=\"edge2\" class=\"edge\"> <title id=\"title382\">Q_0->Q_1</title> <path fill=\"none\" stroke=\"black\" d=\"M74.78,-47.66C80.76,-50.6 87.81,-53.52 94.6,-55 99.05,-55.97 103.83,-56.29 108.5,-56.22\" id=\"path384\" /> <polygon fill=\"black\" stroke=\"black\" points=\"108.46,-59.73 118.18,-55.49 107.94,-52.75 108.46,-59.73\" id=\"polygon386\" /> <text text-anchor=\"middle\" x=\"98.1\" y=\"-58.8\" font-family=\"Times,serif\" font-size=\"14.00\" id=\"text388\">a</text> </g> <!-- Q_1->Q_0 --> <g id=\"edge5\" class=\"edge\"> <title id=\"title391\">Q_1->Q_0</title> <path fill=\"none\" stroke=\"black\" d=\"M121.42,-43.34C115.44,-40.4 108.39,-37.48 101.6,-36 97.15,-35.03 92.37,-34.71 87.7,-34.78\" id=\"path393\" /> <polygon fill=\"black\" stroke=\"black\" points=\"87.74,-31.27 78.02,-35.51 88.26,-38.25 87.74,-31.27\" id=\"polygon395\" /> <text text-anchor=\"middle\" x=\"98.1\" y=\"-39.8\" font-family=\"Times,serif\" font-size=\"14.00\" id=\"text397\">b</text> </g> <!-- Q_2 --> <g id=\"node4\" class=\"node\"> <title id=\"title400\">Q_2</title> <ellipse fill=\"none\" stroke=\"black\" cx=\"216.6\" cy=\"-52\" rx=\"18\" ry=\"18\" id=\"ellipse402\" /> <text text-anchor=\"middle\" x=\"216.6\" y=\"-48.3\" font-family=\"Times,serif\" font-size=\"14.00\" id=\"text404\">2</text> </g> <!-- Q_1->Q_2 --> <g id=\"edge4\" class=\"edge\"> <title id=\"title407\">Q_1->Q_2</title> <path fill=\"none\" stroke=\"black\" d=\"M156.07,-52C165.13,-52 176.43,-52 186.74,-52\" id=\"path409\" /> <polygon fill=\"black\" stroke=\"black\" points=\"186.68,-55.5 196.68,-52 186.68,-48.5 186.68,-55.5\" id=\"polygon411\" /> <text text-anchor=\"middle\" x=\"177.1\" y=\"-55.8\" font-family=\"Times,serif\" font-size=\"14.00\" id=\"text413\">a</text> </g> <!-- Q_2->Q_2 --> <g id=\"edge7\" class=\"edge\"> <title id=\"title416\">Q_2->Q_2</title> <path fill=\"none\" stroke=\"black\" d=\"M209.6,-69.04C208.17,-78.86 210.51,-88 216.6,-88 220.12,-88 222.39,-84.94 223.4,-80.47\" id=\"path418\" /> <polygon fill=\"black\" stroke=\"black\" points=\"226.9,-80.61 223.57,-70.55 219.9,-80.49 226.9,-80.61\" id=\"polygon420\" /> <text text-anchor=\"middle\" x=\"216.6\" y=\"-91.8\" font-family=\"Times,serif\" font-size=\"14.00\" id=\"text422\">a</text> </g> <!-- Q_3 --> <g id=\"node5\" class=\"node\"> <title id=\"title425\">Q_3</title> <ellipse fill=\"none\" stroke=\"black\" cx=\"295.6\" cy=\"-22\" rx=\"18\" ry=\"18\" id=\"ellipse427\" /> <text text-anchor=\"middle\" x=\"295.6\" y=\"-18.3\" font-family=\"Times,serif\" font-size=\"14.00\" id=\"text429\">3</text> </g> <!-- Q_2->Q_3 --> <g id=\"edge6\" class=\"edge\"> <title id=\"title432\">Q_2->Q_3</title> <path fill=\"none\" stroke=\"black\" d=\"M233.93,-45.64C243.73,-41.82 256.44,-36.87 267.69,-32.48\" id=\"path434\" /> <polygon fill=\"black\" stroke=\"black\" points=\"268.84,-35.79 276.88,-28.9 266.3,-29.27 268.84,-35.79\" id=\"polygon436\" /> <text text-anchor=\"middle\" x=\"256.1\" y=\"-40.8\" font-family=\"Times,serif\" font-size=\"14.00\" id=\"text438\">b</text> </g> <!-- Q_3->Q_0 --> <g id=\"edge9\" class=\"edge\"> <title id=\"title441\">Q_3->Q_0</title> <path fill=\"none\" stroke=\"black\" d=\"M277.13,-21.08C245.54,-19.69 176.9,-17.91 119.6,-25 108.92,-26.32 97.36,-28.77 87.27,-31.25\" id=\"path443\" /> <polygon fill=\"black\" stroke=\"black\" points=\"86.5,-27.83 77.7,-33.73 88.26,-34.61 86.5,-27.83\" id=\"polygon445\" /> <text text-anchor=\"middle\" x=\"177.1\" y=\"-23.8\" font-family=\"Times,serif\" font-size=\"14.00\" id=\"text447\">b</text> </g> <!-- Q_4 --> <g id=\"node6\" class=\"node\"> <title id=\"title450\">Q_4</title> <ellipse fill=\"none\" stroke=\"black\" cx=\"378.6\" cy=\"-22\" rx=\"18\" ry=\"18\" id=\"ellipse452\" /> <ellipse fill=\"none\" stroke=\"black\" cx=\"378.6\" cy=\"-22\" rx=\"22\" ry=\"22\" id=\"ellipse454\" /> <text text-anchor=\"middle\" x=\"378.6\" y=\"-18.3\" font-family=\"Times,serif\" font-size=\"14.00\" id=\"text456\">4</text> </g> <!-- Q_3->Q_4 --> <g id=\"edge8\" class=\"edge\"> <title id=\"title459\">Q_3->Q_4</title> <path fill=\"none\" stroke=\"black\" d=\"M313.78,-22C322.75,-22 334.05,-22 344.63,-22\" id=\"path461\" /> <polygon fill=\"black\" stroke=\"black\" points=\"344.6,-25.5 354.6,-22 344.6,-18.5 344.6,-25.5\" id=\"polygon463\" /> <text text-anchor=\"middle\" x=\"335.1\" y=\"-25.8\" font-family=\"Times,serif\" font-size=\"14.00\" id=\"text465\">a</text> </g> <!-- Q_4->Q_4 --> <g id=\"edge10\" class=\"edge\"> <title id=\"title468\">Q_4->Q_4</title> <path fill=\"none\" stroke=\"black\" d=\"M374.59,-43.81C374.2,-53.56 375.54,-62 378.6,-62 380.32,-62 381.5,-59.33 382.13,-55.26\" id=\"path470\" /> <polygon fill=\"black\" stroke=\"black\" points=\"385.62,-55.46 382.55,-45.32 378.63,-55.16 385.62,-55.46\" id=\"polygon472\" /> <text text-anchor=\"middle\" x=\"378.6\" y=\"-65.8\" font-family=\"Times,serif\" font-size=\"14.00\" id=\"text474\">a</text> </g> <!-- Q_4->Q_4 --> <g id=\"edge11\" class=\"edge\"> <title id=\"title477\">Q_4->Q_4</title> <path fill=\"none\" stroke=\"black\" d=\"M371.74,-43.11C368.71,-61.1 371,-80 378.6,-80 384.6,-80 387.29,-68.23 386.67,-54.43\" id=\"path479\" /> <polygon fill=\"black\" stroke=\"black\" points=\"390.16,-54.19 385.62,-44.62 383.2,-54.93 390.16,-54.19\" id=\"polygon481\" /> <text text-anchor=\"middle\" x=\"378.6\" y=\"-83.8\" font-family=\"Times,serif\" font-size=\"14.00\" id=\"text483\">b</text> </g> </g></svg>')"
]
},
{
@@ -404,20 +404,24 @@
"execution_count": null,
"id": "428cf819-3d60-4776-ba94-3e8733eeadea",
"metadata": {
+ "deletable": false,
+ "nbgrader": {
+ "cell_type": "code",
+ "checksum": "cfe7cad6759737464b9ef8de2d763a8b",
+ "grade": false,
+ "grade_id": "cell-660dab1b3863d2ef",
+ "locked": false,
+ "schema_version": 3,
+ "solution": true,
+ "task": false
+ },
"tags": []
},
"outputs": [],
"source": [
"# automate qui valide un nombre pair de fois la lettre \"a\" avec langage a, b\n",
- "a = automate(\"ab\")\n",
- "\n",
- "a.ajout_etat(\"0\", True)\n",
- "a.ajout_etat(\"1\", False)\n",
- "\n",
- "a.ajout_transition(\"0\", \"a\", \"1\")\n",
- "a.ajout_transition(\"1\", \"a\", \"0\")\n",
- "a.ajout_transition(\"0\", \"b\", \"0\")\n",
- "a.ajout_transition(\"1\", \"b\", \"1\")\n",
+ "# YOUR CODE HERE\n",
+ "raise NotImplementedError()\n",
"\n",
"# tests valides\n",
"assert a.run(\"\") == True\n",
@@ -427,7 +431,8 @@
"\n",
"# tests non-valides\n",
"assert a.run(\"a\") == False\n",
- "assert a.run(''.join(\"a\" for i in range(100 + 1))) == False"
+ "assert a.run(''.join(\"a\" for i in range(100 + 1))) == False\n",
+ " "
]
},
{
@@ -443,23 +448,24 @@
"execution_count": null,
"id": "f51ce343-fcdb-49c0-a126-4ffeaf4e1920",
"metadata": {
+ "deletable": false,
+ "nbgrader": {
+ "cell_type": "code",
+ "checksum": "8fc12536d167662e36d9aeceb8868322",
+ "grade": false,
+ "grade_id": "cell-01cdcfaa104b6e45",
+ "locked": false,
+ "schema_version": 3,
+ "solution": true,
+ "task": false
+ },
"tags": []
},
"outputs": [],
"source": [
"# automate qui valide a*a\n",
- "a = automate(\"ab\")\n",
- "\n",
- "a.ajout_etat(\"0\", False)\n",
- "a.ajout_etat(\"1\", False)\n",
- "a.ajout_etat(\"2\", True)\n",
- "\n",
- "a.ajout_transition(\"0\", \"a\", \"1\")\n",
- "a.ajout_transition(\"1\", \"a\", \"2\")\n",
- "a.ajout_transition(\"2\", \"a\", \"2\")\n",
- "\n",
- "a.ajout_transition(\"1\", \"b\", \"1\")\n",
- "a.ajout_transition(\"2\", \"b\", \"1\")\n",
+ "# YOUR CODE HERE\n",
+ "raise NotImplementedError()\n",
"\n",
"# tests valides\n",
"assert a.run(\"aa\") == True\n",
@@ -470,7 +476,7 @@
"assert a.run(\"\") == False\n",
"assert a.run(\"a\") == False\n",
"assert a.run(\"aabb\") == False\n",
- "assert a.run(\"b\") == False"
+ "assert a.run(\"b\") == False\n"
]
},
{
@@ -486,42 +492,23 @@
"execution_count": null,
"id": "6c1a0049-03c3-47b1-adf7-35a59d8c78f7",
"metadata": {
+ "deletable": false,
+ "nbgrader": {
+ "cell_type": "code",
+ "checksum": "bf30b743aa94c4b71e9a29f95fa207ac",
+ "grade": false,
+ "grade_id": "cell-5db6990e06f4ac41",
+ "locked": false,
+ "schema_version": 3,
+ "solution": true,
+ "task": false
+ },
"tags": []
},
"outputs": [],
"source": [
- "# automate qui valide *aaba*\n",
- "a = automate(\"ab\")\n",
- "\n",
- "a.ajout_etat(\"0\", False)\n",
- "a.ajout_etat(\"1\", False)\n",
- "a.ajout_etat(\"2\", False)\n",
- "a.ajout_etat(\"3\", False)\n",
- "a.ajout_etat(\"4\", True)\n",
- "\n",
- "a.ajout_transition(\"0\", \"a\", \"1\")\n",
- "a.ajout_transition(\"1\", \"a\", \"2\")\n",
- "a.ajout_transition(\"2\", \"b\", \"3\")\n",
- "a.ajout_transition(\"3\", \"a\", \"4\")\n",
- "\n",
- "a.ajout_transition(\"0\", \"b\", \"0\")\n",
- "a.ajout_transition(\"1\", \"b\", \"0\")\n",
- "a.ajout_transition(\"2\", \"a\", \"2\")\n",
- "a.ajout_transition(\"3\", \"b\", \"0\")\n",
- "\n",
- "a.ajout_transition(\"4\", \"a\", \"4\")\n",
- "a.ajout_transition(\"4\", \"b\", \"4\")\n",
- "\n",
- "# tests valides\n",
- "assert a.run(\"aaba\") == True\n",
- "assert a.run(\"aaaaaabaaaaa\") == True\n",
- "\n",
- "# tests non-valides\n",
- "assert a.run(\"\") == False\n",
- "assert a.run(\"a\") == False\n",
- "assert a.run(\"aabb\") == False\n",
- "assert a.run(\"b\") == False\n",
- "assert a.run(''.join(\"a\" for i in range(100))) == False"
+ "# YOUR CODE HERE\n",
+ "raise NotImplementedError()"
]
},
{
@@ -672,7 +659,7 @@
{
"cell_type": "code",
"execution_count": null,
- "id": "181a89cb-5a3a-4c27-bc2b-9b3e4c777e18",
+ "id": "30734c6a-eb05-4830-95b5-669cc417c4ee",
"metadata": {},
"outputs": [],
"source": []
--
GitLab