view code/graph/regdfa.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 a28f87d353bb
line wrap: on
line source

digraph G{
        d2tdocpreamble = "\usetikzlibrary{automata}";
        d2tfigpreamble = "\tikzstyle{every state}= \
        [draw=blue!50,very thick,shape=circle, fill=blue!20]";
        node [style="state"];
        edge [lblstyle="fill=blue!20", style="arrows=->", topath="bend left"];
        s13567 [style="state, initial"]
        s8 [style="state, accepting"]
        s13567 -> s12357 [texlbl="A"]
        s13567 -> s8 [texlbl="C"]
        s13567 -> s13457 [texlbl="B"]
        s13457 -> s12357 [texlbl="A"]
        s13457 -> s8 [texlbl="C"]
        s13457 -> s13457 [texlbl="B"]
        s12357 -> s12357 [texlbl="A"]
        s12357 -> s8 [texlbl="C"]
        s12357 -> s13457 [texlbl="B"]
}