diff --git a/info4/kapitel-2/Minimalautomat.ipynb b/info4/kapitel-2/Minimalautomat.ipynb index 0f0f11921b6cbf4244b52fd581f7a3546bdd4fb1..f776b2a719edf1ebe59cf03a114be7a1b50b97f4 100644 --- a/info4/kapitel-2/Minimalautomat.ipynb +++ b/info4/kapitel-2/Minimalautomat.ipynb @@ -55,8 +55,8 @@ " (z3,0)↦z3, (z3,1)↦z3,\n", " (z4,0)↦z4, (z4,1)↦z4 }\n", "DEFINITIONS\n", - " SET_PREF_DOT_HORIZONTAL_LAYOUT==TRUE;\n", - " SET_PREF_DOT_LIMIT_PAGE_SIZE==FALSE;\n", + " //SET_PREF_DOT_HORIZONTAL_LAYOUT==TRUE;\n", + " //SET_PREF_DOT_LIMIT_PAGE_SIZE==FALSE;\n", " CUSTOM_GRAPH_NODES1 == rec(shape:\"doublecircle\",nodes:F);\n", " CUSTOM_GRAPH_NODES2 == rec(shape:\"circle\",nodes:Z\\F);\n", " CUSTOM_GRAPH_NODES3 == rec(shape:\"none\",color:\"white\",style:\"none\",nodes:{\"\"});\n", @@ -281,8 +281,8 @@ " markiert := {}\n", " END\n", "DEFINITIONS\n", - " SET_PREF_DOT_HORIZONTAL_LAYOUT==TRUE;\n", - " SET_PREF_DOT_LIMIT_PAGE_SIZE==FALSE;\n", + " //SET_PREF_DOT_HORIZONTAL_LAYOUT==TRUE;\n", + " //SET_PREF_DOT_LIMIT_PAGE_SIZE==FALSE;\n", " CUSTOM_GRAPH_NODES1 == rec(shape:\"doublecircle\",nodes:F);\n", " CUSTOM_GRAPH_NODES2 == rec(shape:\"circle\",nodes:Z\\F);\n", " CUSTOM_GRAPH_NODES3 == rec(shape:\"none\",color:\"white\",style:\"none\",nodes:{\"\"});\n",