Dot绘图代码
digraph abc{
node[shape=record,fontname="FangSong"]//上的属性将影响下面的node.,中文必须用UTF8格式,并且显示设置字体名
//设置字体似乎会解决中文显示错误
a1 [label="<f0> S'-\>·S$|<f1> S-\>·xxT"];
//只有record形状才能使用<xxx>来添加端点,和'|','{}'.且label中不能有'>'需要转移
a2 [label="S-\>x·xT"];
//设置a1的f1节点指向a2的西边,只有record形状才能用<f0>来设置节点
a1:f1 -> a2:w [label="X"];
}