From 78d3da7f4b5cf717092481b825f95f242a454ee0 Mon Sep 17 00:00:00 2001
From: Chris <Christopher.Happe@uni-duesseldorf.de>
Date: Wed, 14 Oct 2020 12:41:16 +0200
Subject: [PATCH] =?UTF-8?q?Visualisierungsfunktion=20bei=20PDA=20nach=20kf?=
=?UTF-8?q?G=20=C3=BCberarbeitet?=
MIME-Version: 1.0
Content-Type: text/plain; charset=UTF-8
Content-Transfer-Encoding: 8bit
---
info4/kapitel-3/PDA_nach_kfG.ipynb | 3 +--
1 file changed, 1 insertion(+), 2 deletions(-)
diff --git a/info4/kapitel-3/PDA_nach_kfG.ipynb b/info4/kapitel-3/PDA_nach_kfG.ipynb
index 398744a..d661595 100644
--- a/info4/kapitel-3/PDA_nach_kfG.ipynb
+++ b/info4/kapitel-3/PDA_nach_kfG.ipynb
@@ -46,8 +46,7 @@
" \"LibraryStrings.def\";\n",
" ANIMATION_FUNCTION1 == {r,c,i| r=1 ∧ c∈dom(cur) ∧\n",
" i= IF ∃t.(t∈SYMBOLE ∧ cur(c) = (symbol |->t|-> symbol))\n",
- " THEN LET s BE s=TO_STRING({x | (symbol|->x|->symbol)=cur(c)})\n",
- " IN SUB_STRING(s,2,STRING_LENGTH(s)-2) END\n",
+ " THEN TO_STRING(prj2(Z,SYMBOLE)(prj1((Z*SYMBOLE),Z)(cur(c))))\n",
" ELSE TO_STRING(cur(c)) END};\n",
" ANIMATION_STR_JUSTIFY_LEFT == TRUE;\n",
" SET_PREF_PP_SEQUENCES == TRUE\n",
--
GitLab