Dies ist eine alte Version des Dokuments!
Das hier ist der Spielplatz…! <graphviz dot right> digraph ATN { rankdir=LR; s25[fontsize=11, label=„25“, shape=doublecircle, fixedsize=true, width=.6]; s239[fontsize=11,label=„239“, shape=circle, fixedsize=true, width=.55, peripheries=1]; s240[fontsize=11,label=„240“, shape=circle, fixedsize=true, width=.55, peripheries=1]; s241[fontsize=11,label=„241“, shape=circle, fixedsize=true, width=.55, peripheries=1]; s242[fontsize=11,label=„242“, shape=circle, fixedsize=true, width=.55, peripheries=1]; s243[fontsize=11,label=„{→\n243\nd=24|{<p0>|<p1>}}“, shape=record, fixedsize=false, peripheries=1]; s244[fontsize=11,label=„←\n244“, shape=circle, fixedsize=true, width=.55, peripheries=1]; s245[fontsize=11,label=„245“, shape=circle, fixedsize=true, width=.55, peripheries=1]; s246[fontsize=11,label=„246“, shape=circle, fixedsize=true, width=.55, peripheries=1]; s247[fontsize=11,label=„→\n247+“, shape=circle, fixedsize=true, width=.55, peripheries=1]; s24[fontsize=11,label=„24“, shape=circle, fixedsize=true, width=.55, peripheries=1]; s248[fontsize=11,label=„←\n248“, shape=circle, fixedsize=true, width=.55, peripheries=1]; s249[fontsize=11,label=„{249+\nd=25|{<p0>|<p1>}}“, shape=record, fixedsize=false, peripheries=1]; s250[fontsize=11,label=„250“, shape=circle, fixedsize=true, width=.55, peripheries=1]; s251[fontsize=11,label=„251“, shape=circle, fixedsize=true, width=.55, peripheries=1]; s252[fontsize=11,label=„252“, shape=circle, fixedsize=true, width=.55, peripheries=1]; s24 → s239 [fontname=„Times-Italic“, label=„ε“]; s239 → s247 [fontsize=11, fontname=„Courier“, arrowsize=.7, label = „'{'“, arrowhead = normal]; s247 → s240 [fontname=„Times-Italic“, label=„ε“]; s240 → s243 [fontsize=11, fontname=„Courier“, arrowsize=.7, label = „'case'“, arrowhead = normal]; s243:p0 → s241 [fontname=„Times-Italic“, label=„ε“]; s243:p1 → s242 [fontname=„Times-Italic“, label=„ε“]; s241 → s244 [fontsize=11, fontname=„Courier“, arrowsize=.7, label = „'null'“, arrowhead = normal]; s242 → s244 [fontsize=11, fontname=„Courier“, arrowsize=.7, label = „<element>“, arrowhead = normal]; s244 → s245 [fontname=„Times-Italic“, label=„ε“]; s245 → s246 [fontsize=11, fontname=„Courier“, arrowsize=.7, label = „'⇒'“, arrowhead = normal]; s246 → s248 [fontsize=11, fontname=„Courier“, arrowsize=.7, label = „<block>“, arrowhead = normal]; s248 → s249 [fontname=„Times-Italic“, label=„ε“]; s249:p0 → s247 [fontname=„Times-Italic“, label=„ε“, style=„dashed“]; s249:p1 → s250 [fontname=„Times-Italic“, label=„ε“]; s250 → s251 [fontname=„Times-Italic“, label=„ε“]; s251 → s252 [fontsize=11, fontname=„Courier“, arrowsize=.7, label = „'}'“, arrowhead = normal];
} </graphviz>