comparison code/graph/regnfa.dot @ 6:168d60b03e2c

add dotTranslator(Translator), that can translate from DFA or NFA into Dot-file(Dot is graph generater using tex.)
author ryoma <shinya@firefly.cr.ie.u-ryukyu.ac.jp>
date Fri, 02 Jul 2010 02:43:28 +0900
parents
children
comparison
equal deleted inserted replaced
5:11fba907c0af 6:168d60b03e2c
1 digraph G{
2 d2tdocpreamble = "\usetikzlibrary{automata}";
3 d2tfigpreamble = "\tikzstyle{every state}= \
4 [draw=blue!50,very thick,shape=circle, fill=blue!20]";
5 node [style="state"];
6 edge [lblstyle="fill=blue!20", style="arrows=->", topath="bend left"];
7 s6 [style="state, initial"]
8 s8 [style="state, accepting"]
9 s1 -> s2 [texlbl="A"]
10 s3 -> s4 [texlbl="B"]
11 s2 -> s5 [texlbl="$\varepsilon$"]
12 s2 -> s7 [texlbl="$\varepsilon$"]
13 s5 -> s1 [texlbl="$\varepsilon$"]
14 s5 -> s3 [texlbl="$\varepsilon$"]
15 s4 -> s5 [texlbl="$\varepsilon$"]
16 s4 -> s7 [texlbl="$\varepsilon$"]
17 s7 -> s8 [texlbl="C"]
18 s6 -> s5 [texlbl="$\varepsilon$"]
19 s6 -> s7 [texlbl="$\varepsilon$"]
20 }