From ead07adbf9ac1e9167d43537366361978ae12822 Mon Sep 17 00:00:00 2001
From: Chris <Christopher.Happe@uni-duesseldorf.de>
Date: Tue, 20 Oct 2020 16:20:58 +0200
Subject: [PATCH] Notebook zu Myhill Nerode verschoben und leicht angepasst.
---
info4/kapitel-2/Minimalautomat.ipynb | 2 +-
...n Myhill und Nerode.ipynb => Myhill_Nerode.ipynb} | 12 ++++++++++--
2 files changed, 11 insertions(+), 3 deletions(-)
rename info4/kapitel-2/{Der Satz von Myhill und Nerode.ipynb => Myhill_Nerode.ipynb} (97%)
diff --git a/info4/kapitel-2/Minimalautomat.ipynb b/info4/kapitel-2/Minimalautomat.ipynb
index 4aead44..7d1b0b0 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 dfb3ac3..d8861a3 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": {
--
GitLab