diff --git a/info4/kapitel-3/PDA-Kellerautomaten.ipynb b/info4/kapitel-3/PDA-Kellerautomaten.ipynb
index 0765b60755f761946c25ce1d04b3853627917bc6..1ec21713cf6fc266fd50bc42240398ff28aaf881 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",