Smwtest — различия между версиями
Материал из Кафедра Автоматики и телемеханики
Corrector (обсуждение | вклад) |
Corrector (обсуждение | вклад) |
||
(не показано 7 промежуточных версии этого же участника) | |||
Строка 25: | Строка 25: | ||
X2->X3->Cephalopoda | X2->X3->Cephalopoda | ||
X3->Scaphopoda | X3->Scaphopoda | ||
+ | } | ||
+ | </graphviz> | ||
+ | <graphviz caption='Hello SVG and PNG' alt='phylogenetic tree' format='png'> | ||
+ | digraph unix { | ||
+ | size="16"; | ||
+ | node [color=lightblue2, style=filled]; | ||
+ | "Прикладные протоколы IP" -> "6th Edition"; | ||
+ | "Прикладные протоколы IP" -> "PWB 1.0"; | ||
+ | "6th Edition" -> "LSX"; | ||
+ | "6th Edition" -> "1 BSD"; | ||
+ | "6th Edition" -> "Mini Unix"; | ||
+ | "6th Edition" -> "Wollongong"; | ||
+ | "6th Edition" -> "Interdata"; | ||
+ | "Interdata" -> "Unix/TS 3.0"; | ||
+ | "Interdata" -> "PWB 2.0"; | ||
+ | "Interdata" -> "7th Edition"; | ||
+ | "7th Edition" -> "8th Edition"; | ||
+ | "7th Edition" -> "32V"; | ||
+ | "7th Edition" -> "V7M"; | ||
+ | "7th Edition" -> "Ultrix-11"; | ||
+ | "7th Edition" -> "Xenix"; | ||
+ | "7th Edition" -> "UniPlus+"; | ||
+ | "V7M" -> "Ultrix-11"; | ||
+ | "8th Edition" -> "9th Edition"; | ||
+ | "1 BSD" -> "2 BSD"; | ||
+ | "2 BSD" -> "2.8 BSD"; | ||
+ | "2.8 BSD" -> "Ultrix-11"; | ||
+ | "2.8 BSD" -> "2.9 BSD"; | ||
+ | "32V" -> "3 BSD"; | ||
+ | "3 BSD" -> "4 BSD"; | ||
+ | "4 BSD" -> "4.1 BSD"; | ||
+ | "4.1 BSD" -> "4.2 BSD"; | ||
+ | "4.1 BSD" -> "2.8 BSD"; | ||
+ | "4.1 BSD" -> "8th Edition"; | ||
+ | "4.2 BSD" -> "4.3 BSD"; | ||
+ | "4.2 BSD" -> "Ultrix-32"; | ||
+ | "PWB 1.0" -> "PWB 1.2"; | ||
+ | "PWB 1.0" -> "USG 1.0"; | ||
+ | "PWB 1.2" -> "PWB 2.0"; | ||
+ | "USG 1.0" -> "CB Unix 1"; | ||
+ | "USG 1.0" -> "USG 2.0"; | ||
+ | "CB Unix 1" -> "CB Unix 2"; | ||
+ | "CB Unix 2" -> "CB Unix 3"; | ||
+ | "CB Unix 3" -> "Unix/TS++"; | ||
+ | "CB Unix 3" -> "PDP-11 Sys V"; | ||
+ | "USG 2.0" -> "USG 3.0"; | ||
+ | "USG 3.0" -> "Unix/TS 3.0"; | ||
+ | "PWB 2.0" -> "Unix/TS 3.0"; | ||
+ | "Unix/TS 1.0" -> "Unix/TS 3.0"; | ||
+ | "Unix/TS 3.0" -> "TS 4.0"; | ||
+ | "Unix/TS++" -> "TS 4.0"; | ||
+ | "CB Unix 3" -> "TS 4.0"; | ||
+ | "TS 4.0" -> "System V.0"; | ||
+ | "System V.0" -> "System V.2"; | ||
+ | "System V.2" -> "System V.3"; | ||
+ | } | ||
+ | </graphviz> | ||
+ | |||
+ | <graphviz caption='Hello SVG and PNG' alt='phylogenetic tree' format='png'> | ||
+ | digraph PhiloDilemma { | ||
+ | node [shape=box]; bec3; rel3; bec2; rel2; acq2; acq3; bec1; rel1; acq1; | ||
+ | node [shape=circle,fixedsize=true,width=0.9]; hu3; th3; ri3; ea3; hu2; th2; ri2; ea2; hu1; th1; ri1; ea1; | ||
+ | ri3->acq2; | ||
+ | ri3->acq3; | ||
+ | hu3->acq3; | ||
+ | bec3->hu3; | ||
+ | th3->bec3; | ||
+ | rel3->th3; | ||
+ | rel3->ri3; | ||
+ | ea3->rel3; | ||
+ | acq3->ea3; | ||
+ | ri2->acq1; | ||
+ | ri2->acq2; | ||
+ | hu2->acq2; | ||
+ | bec2->hu2; | ||
+ | th2->bec2; | ||
+ | rel2->th2; | ||
+ | rel2->ri2; | ||
+ | ea2->rel2; | ||
+ | acq2->ea2; | ||
+ | ri1->acq3; | ||
+ | ri1->acq1; | ||
+ | hu1->acq1; | ||
+ | bec1->hu1; | ||
+ | th1->bec1; | ||
+ | rel1->th1; | ||
+ | rel1->ri1; | ||
+ | ea1->rel1; | ||
+ | acq1->ea1; | ||
+ | |||
+ | overlap=false | ||
+ | label="PetriNet Model PhiloDilemma\nExtracted from ConceptBase and layed out by Graphviz " | ||
+ | fontsize=12; | ||
+ | } | ||
+ | </graphviz> | ||
+ | |||
+ | <graphviz caption='Hello SVG and PNG' alt='phylogenetic tree' format='png'> | ||
+ | digraph g { | ||
+ | graph [fontsize=30 labelloc="t" label="" splines=true overlap=false rankdir = "LR"]; | ||
+ | ratio = auto; | ||
+ | "state0" [ style = "filled, bold" penwidth = 5 fillcolor = "white" fontname = "Courier New" shape = "Mrecord" label =<<table border="0" cellborder="0" cellpadding="3" bgcolor="white"><tr><td bgcolor="black" align="center" colspan="2"><font color="white">State #0</font></td></tr><tr><td align="left" port="r0">(0) s -> •e $ </td></tr><tr><td align="left" port="r1">(1) e -> •l '=' r </td></tr><tr><td align="left" port="r2">(2) e -> •r </td></tr><tr><td align="left" port="r3">(3) l -> •'*' r </td></tr><tr><td align="left" port="r4">(4) l -> •'n' </td></tr><tr><td align="left" port="r5">(5) r -> •l </td></tr></table>> ]; | ||
+ | "state1" [ style = "filled" penwidth = 1 fillcolor = "white" fontname = "Courier New" shape = "Mrecord" label =<<table border="0" cellborder="0" cellpadding="3" bgcolor="white"><tr><td bgcolor="black" align="center" colspan="2"><font color="white">State #1</font></td></tr><tr><td align="left" port="r3">(3) l -> •'*' r </td></tr><tr><td align="left" port="r3">(3) l -> '*' •r </td></tr><tr><td align="left" port="r4">(4) l -> •'n' </td></tr><tr><td align="left" port="r5">(5) r -> •l </td></tr></table>> ]; | ||
+ | "state2" [ style = "filled" penwidth = 1 fillcolor = "white" fontname = "Courier New" shape = "Mrecord" label =<<table border="0" cellborder="0" cellpadding="3" bgcolor="white"><tr><td bgcolor="black" align="center" colspan="2"><font color="white">State #2</font></td></tr><tr><td align="left" port="r4">(4) l -> 'n' •</td><td bgcolor="grey" align="right">=$</td></tr></table>> ]; | ||
+ | "state3" [ style = "filled" penwidth = 1 fillcolor = "white" fontname = "Courier New" shape = "Mrecord" label =<<table border="0" cellborder="0" cellpadding="3" bgcolor="white"><tr><td bgcolor="black" align="center" colspan="2"><font color="white">State #3</font></td></tr><tr><td align="left" port="r5">(5) r -> l •</td><td bgcolor="grey" align="right">=$</td></tr></table>> ]; | ||
+ | "state4" [ style = "filled" penwidth = 1 fillcolor = "white" fontname = "Courier New" shape = "Mrecord" label =<<table border="0" cellborder="0" cellpadding="3" bgcolor="white"><tr><td bgcolor="black" align="center" colspan="2"><font color="white">State #4</font></td></tr><tr><td align="left" port="r3">(3) l -> '*' r •</td><td bgcolor="grey" align="right">=$</td></tr></table>> ]; | ||
+ | "state5" [ style = "filled" penwidth = 1 fillcolor = "black" fontname = "Courier New" shape = "Mrecord" label =<<table border="0" cellborder="0" cellpadding="3" bgcolor="black"><tr><td bgcolor="black" align="center" colspan="2"><font color="white">State #5</font></td></tr><tr><td align="left" port="r0"><font color="white">(0) s -> e •$ </font></td></tr></table>> ]; | ||
+ | "state6" [ style = "filled" penwidth = 1 fillcolor = "white" fontname = "Courier New" shape = "Mrecord" label =<<table border="0" cellborder="0" cellpadding="3" bgcolor="white"><tr><td bgcolor="black" align="center" colspan="2"><font color="white">State #6</font></td></tr><tr><td align="left" port="r1">(1) e -> l •'=' r </td></tr><tr><td align="left" port="r5">(5) r -> l •</td><td bgcolor="grey" align="right">$</td></tr></table>> ]; | ||
+ | "state7" [ style = "filled" penwidth = 1 fillcolor = "white" fontname = "Courier New" shape = "Mrecord" label =<<table border="0" cellborder="0" cellpadding="3" bgcolor="white"><tr><td bgcolor="black" align="center" colspan="2"><font color="white">State #7</font></td></tr><tr><td align="left" port="r1">(1) e -> l '=' •r </td></tr><tr><td align="left" port="r3">(3) l -> •'*' r </td></tr><tr><td align="left" port="r4">(4) l -> •'n' </td></tr><tr><td align="left" port="r5">(5) r -> •l </td></tr></table>> ]; | ||
+ | "state8" [ style = "filled" penwidth = 1 fillcolor = "white" fontname = "Courier New" shape = "Mrecord" label =<<table border="0" cellborder="0" cellpadding="3" bgcolor="white"><tr><td bgcolor="black" align="center" colspan="2"><font color="white">State #8</font></td></tr><tr><td align="left" port="r1">(1) e -> l '=' r •</td><td bgcolor="grey" align="right">$</td></tr></table>> ]; | ||
+ | "state9" [ style = "filled" penwidth = 1 fillcolor = "white" fontname = "Courier New" shape = "Mrecord" label =<<table border="0" cellborder="0" cellpadding="3" bgcolor="white"><tr><td bgcolor="black" align="center" colspan="2"><font color="white">State #9</font></td></tr><tr><td align="left" port="r2">(2) e -> r •</td><td bgcolor="grey" align="right">$</td></tr></table>> ]; | ||
+ | state0 -> state5 [ penwidth = 5 fontsize = 28 fontcolor = "black" label = "e" ]; | ||
+ | state0 -> state6 [ penwidth = 5 fontsize = 28 fontcolor = "black" label = "l" ]; | ||
+ | state0 -> state9 [ penwidth = 5 fontsize = 28 fontcolor = "black" label = "r" ]; | ||
+ | state0 -> state1 [ penwidth = 1 fontsize = 14 fontcolor = "grey28" label = "'*'" ]; | ||
+ | state0 -> state2 [ penwidth = 1 fontsize = 14 fontcolor = "grey28" label = "'n'" ]; | ||
+ | state1 -> state1 [ penwidth = 1 fontsize = 14 fontcolor = "grey28" label = "'*'" ]; | ||
+ | state1 -> state4 [ penwidth = 5 fontsize = 28 fontcolor = "black" label = "r" ]; | ||
+ | state1 -> state2 [ penwidth = 1 fontsize = 14 fontcolor = "grey28" label = "'n'" ]; | ||
+ | state1 -> state3 [ penwidth = 5 fontsize = 28 fontcolor = "black" label = "l" ]; | ||
+ | state6 -> state7 [ penwidth = 1 fontsize = 14 fontcolor = "grey28" label = "'='" ]; | ||
+ | state7 -> state8 [ penwidth = 5 fontsize = 28 fontcolor = "black" label = "r" ]; | ||
+ | state7 -> state1 [ penwidth = 1 fontsize = 14 fontcolor = "grey28" label = "'*'" ]; | ||
+ | state7 -> state2 [ penwidth = 1 fontsize = 14 fontcolor = "grey28" label = "'n'" ]; | ||
+ | state7 -> state3 [ penwidth = 5 fontsize = 28 fontcolor = "black" label = "l" ]; | ||
} | } | ||
</graphviz> | </graphviz> |
Текущая версия на 23:16, 11 декабря 2011