小编ref*_*ged的帖子

我必须绘制一个具有一些自反转换的小型有限状态机(意味着转换的开始和结束状态相等).

问题是在Graphviz中渲染它会产生难看的结果.

digraph finite_state_machine {  
    edge [fontsize=11];

    S0 -> S0 [label = "td=1\n-/e2"];   
    S0 -> S1 [label = "td=3 \n-/e3" ];  
    S1 -> S0 [label = "td=3\n-/-\nt=0"];  
    S0 -> S2 [label = "P:i1/e4"];  
    S2 -> S0 [label = "td=0\n-/-" ];  
    S0 -> S0 [label = "i1/e1\ntd+=1"];  
}

状态机的渲染http://img91.imageshack.us/img91/2300/previewom.png

有没有办法让这个看起来好一点？

BTW:我尝试过head/tailport,但它们不能用于我的Graphviz版本(Mac OS X上的1.13)

我不仅限于点引擎,我只想要一个漂亮的图形而不关心渲染器/语言.

非常感谢