digraph G {
    d2ttikzedgelabels = true;
    d2tstyleonly = true;
    d2tdocpreamble = "\usetikzlibrary{automata}";
    d2tfigpreamble = "  ikzstyle{every state}=    [draw=blue!50, shape=circle, very thick,fill=blue!20]";
    edge [lblstyle="fill=blue!20", style="arrows=->", topath="bend left"];
    node [shape="circle", style="state"];


    state13567 [style="state, initial"]
    state8 [style="state, accepting"]
    state13567 -> state12357 [texlbl="A"];

    state13567 -> state8 [texlbl="C"];

    state13567 -> state13457 [texlbl="B"];

    state13457 -> state12357 [texlbl="A"];

    state13457 -> state8 [texlbl="C"];

    state13457 -> state13457 [texlbl="B"];

    state12357 -> state12357 [texlbl="A"];

    state12357 -> state8 [texlbl="C"];

    state12357 -> state13457 [texlbl="B"];

}