diff --git a/info4/kapitel-5/DFA_PDA_TM.ipynb b/info4/kapitel-5/DFA_PDA_TM.ipynb index 969e84d49200fabff126543b3d0e27fbf10f646c..14ef7aff976fa905875d143fb3dcfd39192cdd0f 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}" ] } ],