From 40b68335fdd5dd99d3ca3f13741e65daabc3863d Mon Sep 17 00:00:00 2001
From: Chris <Christopher.Happe@uni-duesseldorf.de>
Date: Wed, 11 Nov 2020 08:15:10 +0100
Subject: [PATCH] Darstellung der Tabelle von PDA und TM verbessert
---
info4/kapitel-5/DFA_PDA_TM.ipynb | 14 +++++++-------
1 file changed, 7 insertions(+), 7 deletions(-)
diff --git a/info4/kapitel-5/DFA_PDA_TM.ipynb b/info4/kapitel-5/DFA_PDA_TM.ipynb
index 969e84d..14ef7af 100644
--- a/info4/kapitel-5/DFA_PDA_TM.ipynb
+++ b/info4/kapitel-5/DFA_PDA_TM.ipynb
@@ -276,7 +276,7 @@
"Der entstandene PDA hat die gleiche Zustandsmenge, wie der gegebene DFA.\n",
"Die Überführungen erfolgen ebenfalls analog.\n",
"Damit der PDA allerdings ein Wort akzeptiert muss der Keller leer sein. Dafür werden lambda-Übergänge eingefügt, mit denen man in einem Endzustand des DFA den Keller leeren kann.\n",
- "Die vollständige Überführungsfunktion des PDA ist durch folgende Tabelle gegeben: "
+ "Die vollständige Überführungsfunktion des PDA ist durch die nachfolgende Tabelle gegeben. Dabei ist die Spalte **keller_symbole** als aneinanderkettung der Symbole in der Menge zu verstehen. Also bei {(1↦Bottom)} wird Bottom und bei ∅ wird kein Symbol wieder auf den Keller gelegt."
]
},
{
@@ -287,7 +287,7 @@
{
"data": {
"text/markdown": [
- "|z|symbol|keller_symbol|z2|keller_symbole|\n",
+ "|zustand|symbol|keller_symbol|neuer_zustand|keller_symbole|\n",
"|---|---|---|---|---|\n",
"|$\\renewcommand{\\emptyset}{\\mathord\\varnothing}\\renewcommand{\\emptyset}{\\mathord\\varnothing}\\mathit{z\\_0}$|$\\mathit{a}$|$\\mathit{Bottom}$|$\\mathit{z\\_1}$|$\\{(1\\mapsto \\mathit{Bottom})\\}$|\n",
"|$\\mathit{z\\_0}$|$\\mathit{b}$|$\\mathit{Bottom}$|$\\mathit{z\\_3}$|$\\{(1\\mapsto \\mathit{Bottom})\\}$|\n",
@@ -301,7 +301,7 @@
"|$\\mathit{z\\_3}$|$\\mathit{b}$|$\\mathit{Bottom}$|$\\mathit{z\\_3}$|$\\{(1\\mapsto \\mathit{Bottom})\\}$|\n"
],
"text/plain": [
- "z\tsymbol\tkeller_symbol\tz2\tkeller_symbole\n",
+ "zustand\tsymbol\tkeller_symbol\tneuer_zustand\tkeller_symbole\n",
"z_0\ta\tBottom\tz_1\t{(1|->Bottom)}\n",
"z_0\tb\tBottom\tz_3\t{(1|->Bottom)}\n",
"z_0\tlambda\tBottom\tz_0\t{}\n",
@@ -320,7 +320,7 @@
}
],
"source": [
- ":table {z,symbol,keller_symbol,z2,keller_symbole| ((z,symbol,keller_symbol)↦(z2,keller_symbole) : δ_PDA)}"
+ ":table {zustand,symbol,keller_symbol,neuer_zustand,keller_symbole| ((zustand,symbol,keller_symbol)↦(neuer_zustand,keller_symbole) : δ_PDA)}"
]
},
{
@@ -342,7 +342,7 @@
{
"data": {
"text/markdown": [
- "|z|x|z2|x2|R|\n",
+ "|zustand|symbol|neuer_zustand|geschriebenes_symbol|Richtung|\n",
"|---|---|---|---|---|\n",
"|$\\mathit{z\\_0}$|$\\mathit{a}$|$\\mathit{z\\_1}$|$\\mathit{Blank}$|$\\mathit{R}$|\n",
"|$\\mathit{z\\_0}$|$\\mathit{b}$|$\\mathit{z\\_3}$|$\\mathit{Blank}$|$\\mathit{R}$|\n",
@@ -361,7 +361,7 @@
"|$\\mathit{z\\_end}$|$\\mathit{Blank}$|$\\mathit{z\\_end}$|$\\mathit{Blank}$|$\\mathit{N}$|\n"
],
"text/plain": [
- "z\tx\tz2\tx2\tR\n",
+ "zustand\tsymbol\tneuer_zustand\tgeschriebenes_symbol\tRichtung\n",
"z_0\ta\tz_1\tBlank\tR\n",
"z_0\tb\tz_3\tBlank\tR\n",
"z_0\tBlank\tz_end\tBlank\tN\n",
@@ -385,7 +385,7 @@
}
],
"source": [
- ":table {z,x,z2,x2,R| ((z,x)↦(z2,x2,R)) : δ_TM}"
+ ":table {zustand,symbol,neuer_zustand,geschriebenes_symbol,Richtung| ((zustand,symbol)↦(neuer_zustand,geschriebenes_symbol,Richtung)) : δ_TM}"
]
}
],
--
GitLab