From 4bd5eb80361ab8f2e6938383588ba0cba1461794 Mon Sep 17 00:00:00 2001
From: Michael Leuschel <leuschel@uni-duesseldorf.de>
Date: Tue, 2 Jun 2020 16:06:24 +0200
Subject: [PATCH] small comments
---
info4/kapitel-3/PDA-Kellerautomaten.ipynb | 4 +++-
1 file changed, 3 insertions(+), 1 deletion(-)
diff --git a/info4/kapitel-3/PDA-Kellerautomaten.ipynb b/info4/kapitel-3/PDA-Kellerautomaten.ipynb
index 0765b60..1ec2171 100644
--- a/info4/kapitel-3/PDA-Kellerautomaten.ipynb
+++ b/info4/kapitel-3/PDA-Kellerautomaten.ipynb
@@ -63,12 +63,14 @@
" SET_PREF_PRETTY_PRINT_SEQUENCES == TRUE\n",
"CONSTANTS δ\n",
"PROPERTIES\n",
- " /* A PDA für {a^mb^m| m>=1} ; Beispiel von Info 4 (Folie 95ff) */\n",
+ " /* Der PDA für {a^m b^m| m>=1} ; Beispiel von Info 4 (Folie 95ff) */\n",
" δ = { (z0,a,BOT) ↦ (z0,[A,BOT]),\n",
" (z0,a,A) ↦ (z0,[A,A]),\n",
" (z0,b,A) ↦ (z1,[]),\n",
" (z1,lambda,BOT) ↦ (z1,[]),\n",
" (z1,b,A) ↦ (z1,[]) }\n",
+ " // Anmerkung: δ ist hier als Relation anstatt als Funktion zu Mengen definiert\n",
+ " // Deshalb entspricht δ[{(z,a,g)}] in der B Maschine δ(z,a,g) aus dem Skript\n",
"VARIABLES \n",
" z, α, γ // Konfiguration in dem sich der PDA befindet\n",
"INVARIANT\n",
--
GitLab