diff --git a/info4/kapitel-2/Minimalautomat.ipynb b/info4/kapitel-2/Minimalautomat.ipynb
index 4aead4447164a16bb91022cd13e21e7c4185795a..7d1b0b0e83d32e216f7321514e9635e4509cdb0e 100644
--- a/info4/kapitel-2/Minimalautomat.ipynb
+++ b/info4/kapitel-2/Minimalautomat.ipynb
@@ -6,7 +6,7 @@
    "source": [
     "## Algorithmus Minimalautomat\n",
     "\n",
-    "Dieses Notebook begleitet die Vorlesung zur Myhill-Nerode Äquivalenzrelation und dem Minimalautomaten.\n",
+    "Dieses Notebook begleitet die Vorlesung zu dem Minimalautomaten.\n",
     "\n",
     "Hier ist der Beispiel DFA aus den Folien zur Illustration der Konstruktion des Minimalautomaten.\n"
    ]
diff --git a/info4/kapitel-2/Der Satz von Myhill und Nerode.ipynb b/info4/kapitel-2/Myhill_Nerode.ipynb
similarity index 97%
rename from info4/kapitel-2/Der Satz von Myhill und Nerode.ipynb
rename to info4/kapitel-2/Myhill_Nerode.ipynb
index dfb3ac3027ae06856d0905a4f67ef3110d578c4e..d8861a307139f188c851f1b396681ba49bc788c9 100644
--- a/info4/kapitel-2/Der Satz von Myhill und Nerode.ipynb	
+++ b/info4/kapitel-2/Myhill_Nerode.ipynb
@@ -264,7 +264,7 @@
    "cell_type": "markdown",
    "metadata": {},
    "source": [
-    "Ein weiteres Beispiel ist die Sprache L={a^n | n>=0}.\n"
+    "Ein weiteres Beispiel ist die Sprache $L=\\{a^n | n\\geq0\\}$.\n"
    ]
   },
   {
@@ -441,8 +441,16 @@
    "metadata": {},
    "source": [
     "Betrachtet man allerdings den unendlichen Fall, so fallen die Wörter $a^m$ alle in eine Klasse.\n",
-    "Dies gilt, da es kein \"Ende\" der Folgen mehr gibt und somit kein Gegenbeispiel wie oben."
+    "Dies gilt, da es kein \"Ende\" der Folgen mehr gibt und somit kein Gegenbeispiel wie oben.\n",
+    "Insgesamt gibt es dann 2 Äquivalenzklassen ([a], [b]) und somit bleibt die Sprache dennoch regulär."
    ]
+  },
+  {
+   "cell_type": "code",
+   "execution_count": null,
+   "metadata": {},
+   "outputs": [],
+   "source": []
   }
  ],
  "metadata": {