Mercurial > hg > Members > shinya > pyrect
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 } |