| 两侧同时换到之前的修订记录前一修订版后一修订版 | 前一修订版 |
| playground:graphviz [2017/12/15 21:11] – annhe | playground:graphviz [2020/05/26 14:08] (当前版本) – annhe |
|---|
| <graphviz> | <plot gv:dot output=svg right 100x400> |
| digraph M {ae->cb;} | digraph G {a->b;} |
| </graphviz> | </plot> |
| <graphviz dot right 800x400> | |
| digraph ATN { | |
| rankdir=LR; | |
| s25[fontsize=13, label="25", shape=doublecircle, fixedsize=true, width=.6]; | |
| s239[fontsize=24,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]; | |
| s252 -> s25 [fontname="Times-Italic", label="ε"]; | |
| } | |
| </graphviz> | |
