From 15c2a0e625eb897792ba55e2e2900a2d2b12bed8 Mon Sep 17 00:00:00 2001
From: Michael Leuschel <leuschel@uni-duesseldorf.de>
Date: Wed, 3 Jun 2020 10:22:55 +0200
Subject: [PATCH] fix PP_SEQUENCES preference
---
info4/kapitel-3/PDA-Kellerautomaten.ipynb | 290 +++++++++++-----------
1 file changed, 145 insertions(+), 145 deletions(-)
diff --git a/info4/kapitel-3/PDA-Kellerautomaten.ipynb b/info4/kapitel-3/PDA-Kellerautomaten.ipynb
index b84b168..2b8746c 100644
--- a/info4/kapitel-3/PDA-Kellerautomaten.ipynb
+++ b/info4/kapitel-3/PDA-Kellerautomaten.ipynb
@@ -31,7 +31,7 @@
},
{
"cell_type": "code",
- "execution_count": 44,
+ "execution_count": 59,
"metadata": {},
"outputs": [
{
@@ -40,7 +40,7 @@
"Loaded machine: PDA"
]
},
- "execution_count": 44,
+ "execution_count": 59,
"metadata": {},
"output_type": "execute_result"
}
@@ -60,7 +60,7 @@
" ANIMATION_FUNCTION == {2}*α ∪ {3}*(γ);\n",
" ANIMATION_FUNCTION1 == {(1,0,\"z: \"),(2,0,\"α:\"),(3,0,\"γ:\")};\n",
" ANIMATION_STR_JUSTIFY_LEFTx == TRUE;\n",
- " SET_PREF_PRETTY_PRINT_SEQUENCES == TRUE\n",
+ " SET_PREF_PP_SEQUENCES == TRUE\n",
"CONSTANTS δ\n",
"PROPERTIES\n",
" /* Der PDA für {a^m b^m| m>=1} ; Beispiel von Info 4 (Folie 95ff) */\n",
@@ -104,7 +104,7 @@
},
{
"cell_type": "code",
- "execution_count": 45,
+ "execution_count": 60,
"metadata": {},
"outputs": [
{
@@ -113,7 +113,7 @@
"Machine constants set up using operation 0: $setup_constants()"
]
},
- "execution_count": 45,
+ "execution_count": 60,
"metadata": {},
"output_type": "execute_result"
}
@@ -124,7 +124,7 @@
},
{
"cell_type": "code",
- "execution_count": 46,
+ "execution_count": 61,
"metadata": {},
"outputs": [
{
@@ -133,7 +133,7 @@
"Machine initialised using operation 1: $initialise_machine()"
]
},
- "execution_count": 46,
+ "execution_count": 61,
"metadata": {},
"output_type": "execute_result"
}
@@ -144,7 +144,7 @@
},
{
"cell_type": "code",
- "execution_count": 47,
+ "execution_count": 62,
"metadata": {},
"outputs": [
{
@@ -178,7 +178,7 @@
"<Animation function visualisation>"
]
},
- "execution_count": 47,
+ "execution_count": 62,
"metadata": {},
"output_type": "execute_result"
}
@@ -189,7 +189,7 @@
},
{
"cell_type": "code",
- "execution_count": 48,
+ "execution_count": 63,
"metadata": {},
"outputs": [
{
@@ -200,10 +200,10 @@
"Constants: δ\n",
"Variables: z, α, γ\n",
"Operations: \n",
- "Schritt(z0,{(1|->A),(2|->BOT)})"
+ "Schritt(z0,[A,BOT])"
]
},
- "execution_count": 48,
+ "execution_count": 63,
"metadata": {},
"output_type": "execute_result"
}
@@ -214,16 +214,16 @@
},
{
"cell_type": "code",
- "execution_count": 49,
+ "execution_count": 64,
"metadata": {},
"outputs": [
{
"data": {
"text/plain": [
- "Executed operation: Schritt(z0,{(1|->A),(2|->BOT)})"
+ "Executed operation: Schritt(z0,[A,BOT])"
]
},
- "execution_count": 49,
+ "execution_count": 64,
"metadata": {},
"output_type": "execute_result"
}
@@ -234,7 +234,7 @@
},
{
"cell_type": "code",
- "execution_count": 50,
+ "execution_count": 65,
"metadata": {},
"outputs": [
{
@@ -265,7 +265,7 @@
"<Animation function visualisation>"
]
},
- "execution_count": 50,
+ "execution_count": 65,
"metadata": {},
"output_type": "execute_result"
}
@@ -276,19 +276,19 @@
},
{
"cell_type": "code",
- "execution_count": 51,
+ "execution_count": 66,
"metadata": {},
"outputs": [
{
"data": {
"text/markdown": [
- "$(\\mathit{z0}\\mapsto\\{(1\\mapsto \\mathit{a}),(2\\mapsto \\mathit{b}),(3\\mapsto \\mathit{b})\\}\\mapsto\\{(1\\mapsto \\mathit{A}),(2\\mapsto \\mathit{BOT})\\})$"
+ "$(\\mathit{z0}\\mapsto [a,\\mathit{b},b]\\mapsto [A,BOT])$"
],
"text/plain": [
- "(z0↦{(1↦a),(2↦b),(3↦b)}↦{(1↦A),(2↦BOT)})"
+ "(z0↦[a,b,b]↦[A,BOT])"
]
},
- "execution_count": 51,
+ "execution_count": 66,
"metadata": {},
"output_type": "execute_result"
}
@@ -299,7 +299,7 @@
},
{
"cell_type": "code",
- "execution_count": 52,
+ "execution_count": 67,
"metadata": {},
"outputs": [
{
@@ -310,10 +310,10 @@
"Constants: δ\n",
"Variables: z, α, γ\n",
"Operations: \n",
- "Schritt(z0,{(1|->A),(2|->A)})"
+ "Schritt(z0,[A,A])"
]
},
- "execution_count": 52,
+ "execution_count": 67,
"metadata": {},
"output_type": "execute_result"
}
@@ -324,16 +324,16 @@
},
{
"cell_type": "code",
- "execution_count": 53,
+ "execution_count": 68,
"metadata": {},
"outputs": [
{
"data": {
"text/plain": [
- "Executed operation: Schritt(z0,{(1|->A),(2|->A)})"
+ "Executed operation: Schritt(z0,[A,A])"
]
},
- "execution_count": 53,
+ "execution_count": 68,
"metadata": {},
"output_type": "execute_result"
}
@@ -344,7 +344,7 @@
},
{
"cell_type": "code",
- "execution_count": 54,
+ "execution_count": 69,
"metadata": {},
"outputs": [
{
@@ -375,7 +375,7 @@
"<Animation function visualisation>"
]
},
- "execution_count": 54,
+ "execution_count": 69,
"metadata": {},
"output_type": "execute_result"
}
@@ -386,7 +386,7 @@
},
{
"cell_type": "code",
- "execution_count": 55,
+ "execution_count": 70,
"metadata": {},
"outputs": [
{
@@ -397,10 +397,10 @@
"Constants: δ\n",
"Variables: z, α, γ\n",
"Operations: \n",
- "Schritt(z1,{})"
+ "Schritt(z1,[])"
]
},
- "execution_count": 55,
+ "execution_count": 70,
"metadata": {},
"output_type": "execute_result"
}
@@ -411,16 +411,16 @@
},
{
"cell_type": "code",
- "execution_count": 56,
+ "execution_count": 71,
"metadata": {},
"outputs": [
{
"data": {
"text/plain": [
- "Executed operation: Schritt(z1,{})"
+ "Executed operation: Schritt(z1,[])"
]
},
- "execution_count": 56,
+ "execution_count": 71,
"metadata": {},
"output_type": "execute_result"
}
@@ -431,7 +431,7 @@
},
{
"cell_type": "code",
- "execution_count": 57,
+ "execution_count": 72,
"metadata": {},
"outputs": [
{
@@ -459,7 +459,7 @@
"<Animation function visualisation>"
]
},
- "execution_count": 57,
+ "execution_count": 72,
"metadata": {},
"output_type": "execute_result"
}
@@ -470,7 +470,7 @@
},
{
"cell_type": "code",
- "execution_count": 58,
+ "execution_count": 73,
"metadata": {},
"outputs": [
{
@@ -481,10 +481,10 @@
"Constants: δ\n",
"Variables: z, α, γ\n",
"Operations: \n",
- "Schritt(z1,{})"
+ "Schritt(z1,[])"
]
},
- "execution_count": 58,
+ "execution_count": 73,
"metadata": {},
"output_type": "execute_result"
}
@@ -495,16 +495,16 @@
},
{
"cell_type": "code",
- "execution_count": 59,
+ "execution_count": 74,
"metadata": {},
"outputs": [
{
"data": {
"text/plain": [
- "Executed operation: Schritt(z1,{})"
+ "Executed operation: Schritt(z1,[])"
]
},
- "execution_count": 59,
+ "execution_count": 74,
"metadata": {},
"output_type": "execute_result"
}
@@ -515,7 +515,7 @@
},
{
"cell_type": "code",
- "execution_count": 60,
+ "execution_count": 75,
"metadata": {},
"outputs": [
{
@@ -540,7 +540,7 @@
"<Animation function visualisation>"
]
},
- "execution_count": 60,
+ "execution_count": 75,
"metadata": {},
"output_type": "execute_result"
}
@@ -551,7 +551,7 @@
},
{
"cell_type": "code",
- "execution_count": 61,
+ "execution_count": 76,
"metadata": {},
"outputs": [
{
@@ -562,10 +562,10 @@
"Constants: δ\n",
"Variables: z, α, γ\n",
"Operations: \n",
- "LambdaSchritt(z1,{})"
+ "LambdaSchritt(z1,[])"
]
},
- "execution_count": 61,
+ "execution_count": 76,
"metadata": {},
"output_type": "execute_result"
}
@@ -576,16 +576,16 @@
},
{
"cell_type": "code",
- "execution_count": 62,
+ "execution_count": 77,
"metadata": {},
"outputs": [
{
"data": {
"text/plain": [
- "Executed operation: LambdaSchritt(z1,{})"
+ "Executed operation: LambdaSchritt(z1,[])"
]
},
- "execution_count": 62,
+ "execution_count": 77,
"metadata": {},
"output_type": "execute_result"
}
@@ -596,7 +596,7 @@
},
{
"cell_type": "code",
- "execution_count": 63,
+ "execution_count": 78,
"metadata": {},
"outputs": [
{
@@ -621,7 +621,7 @@
"<Animation function visualisation>"
]
},
- "execution_count": 63,
+ "execution_count": 78,
"metadata": {},
"output_type": "execute_result"
}
@@ -632,7 +632,7 @@
},
{
"cell_type": "code",
- "execution_count": 64,
+ "execution_count": 79,
"metadata": {},
"outputs": [
{
@@ -646,7 +646,7 @@
"Akzeptieren()"
]
},
- "execution_count": 64,
+ "execution_count": 79,
"metadata": {},
"output_type": "execute_result"
}
@@ -657,7 +657,7 @@
},
{
"cell_type": "code",
- "execution_count": 65,
+ "execution_count": 80,
"metadata": {},
"outputs": [
{
@@ -666,7 +666,7 @@
"Executed operation: Akzeptieren()"
]
},
- "execution_count": 65,
+ "execution_count": 80,
"metadata": {},
"output_type": "execute_result"
}
@@ -693,23 +693,23 @@
},
{
"cell_type": "code",
- "execution_count": 3,
+ "execution_count": 34,
"metadata": {},
"outputs": [
{
"data": {
"text/plain": [
- "Loaded machine: PDA"
+ "Loaded machine: PDA_für_kfG"
]
},
- "execution_count": 3,
+ "execution_count": 34,
"metadata": {},
"output_type": "execute_result"
}
],
"source": [
"::load\n",
- "MACHINE PDA\n",
+ "MACHINE PDA_für_kfG\n",
"/* B Modell eines PDA */\n",
"SETS\n",
" Z = {z0}; // die Zustände des Automaten, z0 ist der Startzustand\n",
@@ -723,7 +723,7 @@
" ANIMATION_FUNCTION == {2}*α ∪ {3}*(γ);\n",
" ANIMATION_FUNCTION1 == {(1,0,\"z: \"),(2,0,\"α:\"),(3,0,\"γ:\")};\n",
" ANIMATION_STR_JUSTIFY_LEFTx == TRUE;\n",
- " SET_PREF_PRETTY_PRINT_SEQUENCES == TRUE\n",
+ " SET_PREF_PP_SEQUENCES == TRUE\n",
"CONSTANTS P, δ\n",
"PROPERTIES\n",
"/* Die Grammatik Regeln */\n",
@@ -773,7 +773,7 @@
},
{
"cell_type": "code",
- "execution_count": 5,
+ "execution_count": 35,
"metadata": {},
"outputs": [
{
@@ -782,7 +782,7 @@
"Machine constants set up using operation 0: $setup_constants()"
]
},
- "execution_count": 5,
+ "execution_count": 35,
"metadata": {},
"output_type": "execute_result"
}
@@ -793,7 +793,7 @@
},
{
"cell_type": "code",
- "execution_count": 6,
+ "execution_count": 36,
"metadata": {},
"outputs": [
{
@@ -802,7 +802,7 @@
"Machine initialised using operation 1: $initialise_machine()"
]
},
- "execution_count": 6,
+ "execution_count": 36,
"metadata": {},
"output_type": "execute_result"
}
@@ -813,7 +813,7 @@
},
{
"cell_type": "code",
- "execution_count": 33,
+ "execution_count": 37,
"metadata": {},
"outputs": [
{
@@ -821,28 +821,28 @@
"text/markdown": [
"|z|x|X|z2|Xs|\n",
"|---|---|---|---|---|\n",
- "|$\\renewcommand{\\emptyset}{\\mathord\\varnothing}\\renewcommand{\\emptyset}{\\mathord\\varnothing}\\renewcommand{\\emptyset}{\\mathord\\varnothing}\\renewcommand{\\emptyset}{\\mathord\\varnothing}\\renewcommand{\\emptyset}{\\mathord\\varnothing}\\mathit{z0}$|$\\mathit{a}$|$\\mathit{a}$|$\\mathit{z0}$|$\\emptyset$|\n",
- "|$\\mathit{z0}$|$\\mathit{b}$|$\\mathit{b}$|$\\mathit{z0}$|$\\emptyset$|\n",
- "|$\\mathit{z0}$|$\\mathit{S}$|$\\mathit{S}$|$\\mathit{z0}$|$\\emptyset$|\n",
- "|$\\mathit{z0}$|$\\mathit{C}$|$\\mathit{C}$|$\\mathit{z0}$|$\\emptyset$|\n",
- "|$\\mathit{z0}$|$\\mathit{lambda}$|$\\mathit{S}$|$\\mathit{z0}$|$\\{(1\\mapsto \\mathit{C})\\}$|\n",
- "|$\\mathit{z0}$|$\\mathit{lambda}$|$\\mathit{S}$|$\\mathit{z0}$|$\\{(1\\mapsto \\mathit{a}),(2\\mapsto \\mathit{S}),(3\\mapsto \\mathit{b})\\}$|\n",
- "|$\\mathit{z0}$|$\\mathit{lambda}$|$\\mathit{C}$|$\\mathit{z0}$|$\\{(1\\mapsto \\mathit{a}),(2\\mapsto \\mathit{b})\\}$|\n",
- "|$\\mathit{z0}$|$\\mathit{lambda}$|$\\mathit{lambda}$|$\\mathit{z0}$|$\\emptyset$|\n"
+ "|$\\mathit{z0}$|$\\mathit{a}$|$\\mathit{a}$|$\\mathit{z0}$|$[]$|\n",
+ "|$\\mathit{z0}$|$\\mathit{b}$|$\\mathit{b}$|$\\mathit{z0}$|$[]$|\n",
+ "|$\\mathit{z0}$|$\\mathit{S}$|$\\mathit{S}$|$\\mathit{z0}$|$[]$|\n",
+ "|$\\mathit{z0}$|$\\mathit{C}$|$\\mathit{C}$|$\\mathit{z0}$|$[]$|\n",
+ "|$\\mathit{z0}$|$\\mathit{lambda}$|$\\mathit{S}$|$\\mathit{z0}$|$[C]$|\n",
+ "|$\\mathit{z0}$|$\\mathit{lambda}$|$\\mathit{S}$|$\\mathit{z0}$|$[a,\\mathit{S},b]$|\n",
+ "|$\\mathit{z0}$|$\\mathit{lambda}$|$\\mathit{C}$|$\\mathit{z0}$|$[a,b]$|\n",
+ "|$\\mathit{z0}$|$\\mathit{lambda}$|$\\mathit{lambda}$|$\\mathit{z0}$|$[]$|\n"
],
"text/plain": [
"z\tx\tX\tz2\tXs\n",
- "z0\ta\ta\tz0\t{}\n",
- "z0\tb\tb\tz0\t{}\n",
- "z0\tS\tS\tz0\t{}\n",
- "z0\tC\tC\tz0\t{}\n",
- "z0\tlambda\tS\tz0\t{(1|->C)}\n",
- "z0\tlambda\tS\tz0\t{(1|->a),(2|->S),(3|->b)}\n",
- "z0\tlambda\tC\tz0\t{(1|->a),(2|->b)}\n",
- "z0\tlambda\tlambda\tz0\t{}\n"
+ "z0\ta\ta\tz0\t[]\n",
+ "z0\tb\tb\tz0\t[]\n",
+ "z0\tS\tS\tz0\t[]\n",
+ "z0\tC\tC\tz0\t[]\n",
+ "z0\tlambda\tS\tz0\t[C]\n",
+ "z0\tlambda\tS\tz0\t[a,S,b]\n",
+ "z0\tlambda\tC\tz0\t[a,b]\n",
+ "z0\tlambda\tlambda\tz0\t[]\n"
]
},
- "execution_count": 33,
+ "execution_count": 37,
"metadata": {},
"output_type": "execute_result"
}
@@ -853,7 +853,7 @@
},
{
"cell_type": "code",
- "execution_count": 7,
+ "execution_count": 38,
"metadata": {},
"outputs": [
{
@@ -887,7 +887,7 @@
"<Animation function visualisation>"
]
},
- "execution_count": 7,
+ "execution_count": 38,
"metadata": {},
"output_type": "execute_result"
}
@@ -898,22 +898,22 @@
},
{
"cell_type": "code",
- "execution_count": 8,
+ "execution_count": 39,
"metadata": {},
"outputs": [
{
"data": {
"text/plain": [
- "Machine: PDA\n",
+ "Machine: PDA_für_kfG\n",
"Sets: Z, SYMBOLE\n",
"Constants: P, δ\n",
"Variables: z, α, γ\n",
"Operations: \n",
- "LambdaSchritt(z0,{(1|->C)})\n",
- "LambdaSchritt(z0,{(1|->a),(2|->S),(3|->b)})"
+ "LambdaSchritt(z0,[C])\n",
+ "LambdaSchritt(z0,[a,S,b])"
]
},
- "execution_count": 8,
+ "execution_count": 39,
"metadata": {},
"output_type": "execute_result"
}
@@ -924,16 +924,16 @@
},
{
"cell_type": "code",
- "execution_count": 9,
+ "execution_count": 40,
"metadata": {},
"outputs": [
{
"data": {
"text/plain": [
- "Executed operation: LambdaSchritt(z0,{(1|->a),(2|->S),(3|->b)})"
+ "Executed operation: LambdaSchritt(z0,[a,S,b])"
]
},
- "execution_count": 9,
+ "execution_count": 40,
"metadata": {},
"output_type": "execute_result"
}
@@ -944,7 +944,7 @@
},
{
"cell_type": "code",
- "execution_count": 10,
+ "execution_count": 41,
"metadata": {},
"outputs": [
{
@@ -978,7 +978,7 @@
"<Animation function visualisation>"
]
},
- "execution_count": 10,
+ "execution_count": 41,
"metadata": {},
"output_type": "execute_result"
}
@@ -989,21 +989,21 @@
},
{
"cell_type": "code",
- "execution_count": 11,
+ "execution_count": 42,
"metadata": {},
"outputs": [
{
"data": {
"text/plain": [
- "Machine: PDA\n",
+ "Machine: PDA_für_kfG\n",
"Sets: Z, SYMBOLE\n",
"Constants: P, δ\n",
"Variables: z, α, γ\n",
"Operations: \n",
- "Schritt(z0,{})"
+ "Schritt(z0,[])"
]
},
- "execution_count": 11,
+ "execution_count": 42,
"metadata": {},
"output_type": "execute_result"
}
@@ -1014,16 +1014,16 @@
},
{
"cell_type": "code",
- "execution_count": 13,
+ "execution_count": 43,
"metadata": {},
"outputs": [
{
"data": {
"text/plain": [
- "Executed operation: Schritt(z0,{})"
+ "Executed operation: Schritt(z0,[])"
]
},
- "execution_count": 13,
+ "execution_count": 43,
"metadata": {},
"output_type": "execute_result"
}
@@ -1034,7 +1034,7 @@
},
{
"cell_type": "code",
- "execution_count": 14,
+ "execution_count": 44,
"metadata": {},
"outputs": [
{
@@ -1065,7 +1065,7 @@
"<Animation function visualisation>"
]
},
- "execution_count": 14,
+ "execution_count": 44,
"metadata": {},
"output_type": "execute_result"
}
@@ -1076,22 +1076,22 @@
},
{
"cell_type": "code",
- "execution_count": 15,
+ "execution_count": 45,
"metadata": {},
"outputs": [
{
"data": {
"text/plain": [
- "Machine: PDA\n",
+ "Machine: PDA_für_kfG\n",
"Sets: Z, SYMBOLE\n",
"Constants: P, δ\n",
"Variables: z, α, γ\n",
"Operations: \n",
- "LambdaSchritt(z0,{(1|->C)})\n",
- "LambdaSchritt(z0,{(1|->a),(2|->S),(3|->b)})"
+ "LambdaSchritt(z0,[C])\n",
+ "LambdaSchritt(z0,[a,S,b])"
]
},
- "execution_count": 15,
+ "execution_count": 45,
"metadata": {},
"output_type": "execute_result"
}
@@ -1102,16 +1102,16 @@
},
{
"cell_type": "code",
- "execution_count": 16,
+ "execution_count": 46,
"metadata": {},
"outputs": [
{
"data": {
"text/plain": [
- "Executed operation: LambdaSchritt(z0,{(1|->C)})"
+ "Executed operation: LambdaSchritt(z0,[C])"
]
},
- "execution_count": 16,
+ "execution_count": 46,
"metadata": {},
"output_type": "execute_result"
}
@@ -1122,7 +1122,7 @@
},
{
"cell_type": "code",
- "execution_count": 17,
+ "execution_count": 47,
"metadata": {},
"outputs": [
{
@@ -1153,7 +1153,7 @@
"<Animation function visualisation>"
]
},
- "execution_count": 17,
+ "execution_count": 47,
"metadata": {},
"output_type": "execute_result"
}
@@ -1164,21 +1164,21 @@
},
{
"cell_type": "code",
- "execution_count": 18,
+ "execution_count": 48,
"metadata": {},
"outputs": [
{
"data": {
"text/plain": [
- "Machine: PDA\n",
+ "Machine: PDA_für_kfG\n",
"Sets: Z, SYMBOLE\n",
"Constants: P, δ\n",
"Variables: z, α, γ\n",
"Operations: \n",
- "LambdaSchritt(z0,{(1|->a),(2|->b)})"
+ "LambdaSchritt(z0,[a,b])"
]
},
- "execution_count": 18,
+ "execution_count": 48,
"metadata": {},
"output_type": "execute_result"
}
@@ -1189,16 +1189,16 @@
},
{
"cell_type": "code",
- "execution_count": 19,
+ "execution_count": 49,
"metadata": {},
"outputs": [
{
"data": {
"text/plain": [
- "Executed operation: LambdaSchritt(z0,{(1|->a),(2|->b)})"
+ "Executed operation: LambdaSchritt(z0,[a,b])"
]
},
- "execution_count": 19,
+ "execution_count": 49,
"metadata": {},
"output_type": "execute_result"
}
@@ -1209,7 +1209,7 @@
},
{
"cell_type": "code",
- "execution_count": 20,
+ "execution_count": 50,
"metadata": {},
"outputs": [
{
@@ -1240,7 +1240,7 @@
"<Animation function visualisation>"
]
},
- "execution_count": 20,
+ "execution_count": 50,
"metadata": {},
"output_type": "execute_result"
}
@@ -1251,21 +1251,21 @@
},
{
"cell_type": "code",
- "execution_count": 22,
+ "execution_count": 51,
"metadata": {},
"outputs": [
{
"data": {
"text/plain": [
- "Machine: PDA\n",
+ "Machine: PDA_für_kfG\n",
"Sets: Z, SYMBOLE\n",
"Constants: P, δ\n",
"Variables: z, α, γ\n",
"Operations: \n",
- "Schritt(z0,{})"
+ "Schritt(z0,[])"
]
},
- "execution_count": 22,
+ "execution_count": 51,
"metadata": {},
"output_type": "execute_result"
}
@@ -1276,16 +1276,16 @@
},
{
"cell_type": "code",
- "execution_count": 23,
+ "execution_count": 52,
"metadata": {},
"outputs": [
{
"data": {
"text/plain": [
- "Executed operation: Schritt(z0,{})"
+ "Executed operation: Schritt(z0,[])"
]
},
- "execution_count": 23,
+ "execution_count": 52,
"metadata": {},
"output_type": "execute_result"
}
@@ -1296,7 +1296,7 @@
},
{
"cell_type": "code",
- "execution_count": 24,
+ "execution_count": 53,
"metadata": {},
"outputs": [
{
@@ -1324,7 +1324,7 @@
"<Animation function visualisation>"
]
},
- "execution_count": 24,
+ "execution_count": 53,
"metadata": {},
"output_type": "execute_result"
}
@@ -1335,16 +1335,16 @@
},
{
"cell_type": "code",
- "execution_count": 25,
+ "execution_count": 54,
"metadata": {},
"outputs": [
{
"data": {
"text/plain": [
- "Executed operation: Schritt(z0,{})"
+ "Executed operation: Schritt(z0,[])"
]
},
- "execution_count": 25,
+ "execution_count": 54,
"metadata": {},
"output_type": "execute_result"
}
@@ -1355,7 +1355,7 @@
},
{
"cell_type": "code",
- "execution_count": 26,
+ "execution_count": 55,
"metadata": {},
"outputs": [
{
@@ -1380,7 +1380,7 @@
"<Animation function visualisation>"
]
},
- "execution_count": 26,
+ "execution_count": 55,
"metadata": {},
"output_type": "execute_result"
}
@@ -1391,16 +1391,16 @@
},
{
"cell_type": "code",
- "execution_count": 27,
+ "execution_count": 56,
"metadata": {},
"outputs": [
{
"data": {
"text/plain": [
- "Executed operation: Schritt(z0,{})"
+ "Executed operation: Schritt(z0,[])"
]
},
- "execution_count": 27,
+ "execution_count": 56,
"metadata": {},
"output_type": "execute_result"
}
@@ -1411,7 +1411,7 @@
},
{
"cell_type": "code",
- "execution_count": 28,
+ "execution_count": 57,
"metadata": {},
"outputs": [
{
@@ -1436,7 +1436,7 @@
"<Animation function visualisation>"
]
},
- "execution_count": 28,
+ "execution_count": 57,
"metadata": {},
"output_type": "execute_result"
}
@@ -1447,7 +1447,7 @@
},
{
"cell_type": "code",
- "execution_count": 30,
+ "execution_count": 58,
"metadata": {},
"outputs": [
{
@@ -1456,7 +1456,7 @@
"Executed operation: Akzeptieren()"
]
},
- "execution_count": 30,
+ "execution_count": 58,
"metadata": {},
"output_type": "execute_result"
}
--
GitLab