From 47a8a8efd2842671a4297066f6adc08707af093b Mon Sep 17 00:00:00 2001
From: Michael Leuschel <leuschel@cs.uni-duesseldorf.de>
Date: Tue, 7 May 2019 17:12:53 +0200
Subject: [PATCH] use greek Sigma in presentation

---
 notebooks/presentations/BadHonnef_2019.ipynb | 41 ++++++++++----------
 1 file changed, 20 insertions(+), 21 deletions(-)

diff --git a/notebooks/presentations/BadHonnef_2019.ipynb b/notebooks/presentations/BadHonnef_2019.ipynb
index 988a91d..8c5bb59 100644
--- a/notebooks/presentations/BadHonnef_2019.ipynb
+++ b/notebooks/presentations/BadHonnef_2019.ipynb
@@ -1090,17 +1090,16 @@
    "source": [
     "Wie laden nun ein B Modell welches diese Definitionen beinhaltet.\n",
     "Wörter werden dabei in der B Sprache mit eckigen Klammern und Kommas geschrieben; aus 101 wird [1,0,1].\n",
-    "Gewisse griechische Zeichen sind in der B Sprache als Schlüsselwörter reserviert, zB $\\Sigma$.\n",
+    "Gewisse griechische Zeichen sind in der B Sprache als Schlüsselwörter reserviert, zB $\\lambda$.\n",
     "Auch kann man leider weder ' noch $\\hat$ in Bezeichnern verwenden.\n",
     "Deshalb wird aus\n",
-    "* $\\Sigma$ wird ```Sig```\n",
-    "* $\\Sigma^*$ wird ```seq(Seq)```\n",
+    "* $\\Sigma^*$ wird ```seq(Σ)```\n",
     "* $\\widehat{\\delta}$ wird ```δs```"
    ]
   },
   {
    "cell_type": "code",
-   "execution_count": 4,
+   "execution_count": 20,
    "metadata": {},
    "outputs": [
     {
@@ -1109,7 +1108,7 @@
        "Loaded machine: NFA_nach_DFA"
       ]
      },
-     "execution_count": 4,
+     "execution_count": 20,
      "metadata": {},
      "output_type": "execute_result"
     }
@@ -1119,19 +1118,19 @@
     "MACHINE NFA_nach_DFA\n",
     "SETS\n",
     "   Z = {z0,z1,z2,z3}\n",
-    "DEFINITIONS Sig == {0,1}\n",
     "ABSTRACT_CONSTANTS δs, L\n",
-    "CONSTANTS S, F, δ\n",
+    "CONSTANTS Σ, S, F, δ\n",
     "PROPERTIES\n",
-    " S ⊆ Z ∧ F ⊆ Z ∧ δ ∈ (Z×Sig) → ℙ(Z) ∧\n",
+    " S ⊆ Z ∧ F ⊆ Z ∧ δ ∈ (Z×Σ) → ℙ(Z) ∧\n",
     "\n",
     " /* Definition der erweiterten Übergangsfunktion */\n",
     " δs = λ(ZZ,s).(ZZ⊆Z | IF s=[] THEN ZZ ELSE UNION(z).(z∈ZZ|δs(δ(z,first(s)),tail(s))) END )\n",
     " ∧\n",
     " /* die vom Automaten generierte Sprache */\n",
-    " L = {s|s∈seq(Sig) ∧ δs(S,s) ∩ F ≠ ∅}\n",
+    " L = {s|s∈seq(Σ) ∧ δs(S,s) ∩ F ≠ ∅}\n",
     " ∧\n",
     " /* Nun ein Beispiel-Automat von Folie 24 (Info 4) */\n",
+    " Σ = {0,1} ∧\n",
     " S = {z0} ∧ F={z2} ∧\n",
     " δ = {     (z0,0)↦{z0}, (z0,1)↦{z0,z1},\n",
     "           (z1,0)↦{z2}, (z1,1)↦{z2},\n",
@@ -1142,7 +1141,7 @@
   },
   {
    "cell_type": "code",
-   "execution_count": 5,
+   "execution_count": 21,
    "metadata": {},
    "outputs": [
     {
@@ -1151,7 +1150,7 @@
        "Machine constants set up using operation 0: $setup_constants()"
       ]
      },
-     "execution_count": 5,
+     "execution_count": 21,
      "metadata": {},
      "output_type": "execute_result"
     }
@@ -1162,7 +1161,7 @@
   },
   {
    "cell_type": "code",
-   "execution_count": 6,
+   "execution_count": 22,
    "metadata": {},
    "outputs": [
     {
@@ -1171,7 +1170,7 @@
        "Machine initialised using operation 1: $initialise_machine()"
       ]
      },
-     "execution_count": 6,
+     "execution_count": 22,
      "metadata": {},
      "output_type": "execute_result"
     }
@@ -1193,7 +1192,7 @@
   },
   {
    "cell_type": "code",
-   "execution_count": 7,
+   "execution_count": 23,
    "metadata": {},
    "outputs": [
     {
@@ -1205,7 +1204,7 @@
        "{z0,z1}"
       ]
      },
-     "execution_count": 7,
+     "execution_count": 23,
      "metadata": {},
      "output_type": "execute_result"
     }
@@ -1533,7 +1532,7 @@
   },
   {
    "cell_type": "code",
-   "execution_count": 140,
+   "execution_count": 24,
    "metadata": {},
    "outputs": [
     {
@@ -1554,13 +1553,13 @@
        "1\t0\t1\n"
       ]
      },
-     "execution_count": 140,
+     "execution_count": 24,
      "metadata": {},
      "output_type": "execute_result"
     }
    ],
    "source": [
-    ":table {x,y,z| {x,y,z} ⊆ Sig & ¬([x,y,z]∈L)}"
+    ":table {x,y,z| {x,y,z} ⊆ Σ & ¬([x,y,z]∈L)}"
    ]
   },
   {
@@ -1633,7 +1632,7 @@
   },
   {
    "cell_type": "code",
-   "execution_count": 14,
+   "execution_count": 25,
    "metadata": {},
    "outputs": [
     {
@@ -1710,13 +1709,13 @@
        "{z3}\t1\t{z3}\n"
       ]
      },
-     "execution_count": 14,
+     "execution_count": 25,
      "metadata": {},
      "output_type": "execute_result"
     }
    ],
    "source": [
-    ":table {x,a,y| a:Sig & x∈ℙ(Z) & y=δs(x,[a])}"
+    ":table {x,a,y| a∈Σ & x∈ℙ(Z) & y=δs(x,[a])}"
    ]
   },
   {
-- 
GitLab