From 7d324e49ee57433b7c4b1dad14fb2ab710df97cb Mon Sep 17 00:00:00 2001
From: Michael Leuschel <leuschel@uni-duesseldorf.de>
Date: Tue, 12 May 2020 12:18:08 +0200
Subject: [PATCH] disallow n=0 (WD error)
---
info4/kapitel-2/NFA_nach_DFA.ipynb | 2 +-
1 file changed, 1 insertion(+), 1 deletion(-)
diff --git a/info4/kapitel-2/NFA_nach_DFA.ipynb b/info4/kapitel-2/NFA_nach_DFA.ipynb
index db2fe81..55f2a26 100644
--- a/info4/kapitel-2/NFA_nach_DFA.ipynb
+++ b/info4/kapitel-2/NFA_nach_DFA.ipynb
@@ -2776,7 +2776,7 @@
" Σ = {0,1} ∧\n",
" Z = 0..(n) ∧\n",
" S = {0} ∧\n",
- " n ∈ 0..8 ∧\n",
+ " n ∈ 1..8 ∧\n",
" F = {n} ∧\n",
" δ = { (0,0)↦{0}, (0,1)↦{0,1},\n",
" (n,0)↦{}, (n,1)↦{} \n",
--
GitLab