graphviz画带开始和结束节点的自动机 终止节点 初始节点 效果图 终止节点 for s in S: dot.node(name=s.s_name, shape='circle') if s in FS: # 如果该节点在终止状态集,变将shape写成doublecircle dot.node(name=s.s_name