comparison code/graph/nfa.dot @ 45:d29d3470fde7

modify dot translator. add regex as title, and simplify graph.
author Ryoma SHINYA <shinya@firefly.cr.ie.u-ryukyu.ac.jp>
date Fri, 06 Aug 2010 20:17:17 +0900
parents
children
comparison
equal deleted inserted replaced
44:b4cb7d72dde5 45:d29d3470fde7
1
2 digraph G{
3 rankdir=LR
4 regex [shape=plaintext, label="(A|B)*C"]
5 q0 [shape=circle, fillcolor=lightsteelblue1, style=filled, color = navyblue]
6 q1 [shape=circle, fillcolor=lightsteelblue1, style=filled, color = navyblue]
7 q2 [shape=circle, fillcolor=lightsteelblue1, style=filled, color = navyblue]
8 q3 [shape=circle, fillcolor=lightsteelblue1, style=filled, color = navyblue]
9 q4 [shape=circle, fillcolor=lightsteelblue1, style=filled, color = navyblue]
10 q5 [shape=circle, fillcolor=lightsteelblue1, style=filled, color = navyblue]
11 q6 [shape=circle, fillcolor=lightsteelblue1, style=filled, color = navyblue]
12 q7 [shape=doublecircle, fillcolor=lightsteelblue1, style=filled, color = navyblue]
13 start [shape=point]
14 start -> q5
15 q1 -> q4 [label="''"]
16 q1 -> q6 [label="''"]
17 q0 -> q1 [label="'A'"]
18 q3 -> q4 [label="''"]
19 q3 -> q6 [label="''"]
20 q2 -> q3 [label="'B'"]
21 q5 -> q4 [label="''"]
22 q5 -> q6 [label="''"]
23 q4 -> q0 [label="''"]
24 q4 -> q2 [label="''"]
25 q6 -> q7 [label="'C'"]
26 }