import networkx as nx import matplotlib.pyplot as plt # 创建有向图 G = nx.DiGraph() # 添加状态节点 G.add_node('q0') G.add_node('q1') G.add_node('q2') G.add_node('q3') # 添加起始状态 G.add_edge('', 'q0') # 添加终止状态 G.add_edge('q2', '') # 添加转移边 G.add_edge('q0', 'q1', label='a') G.add_edge('q0', 'q3', label='b') G.add_edge('q1', 'q2', label='a') G.add_edge('q1', 'q3', label='b') G.add_edge('q2', 'q2', label='a') G.add_edge('q2', 'q2', label='b') G.add_edge('q3', 'q2', label='a') G.add_edge('q3', 'q3', label='b') # 绘制图形 pos = nx.spring_layout(G) nx.draw_networkx_nodes(G, pos, node_size=1000) nx.draw_networkx_edges(G, pos, width=1) nx.draw_networkx_edge_labels(G, pos, font_size=14, edge_labels={(u, v): d['label'] for u, v, d in G.edges(data=True)}) nx.draw_networkx_labels(G, pos, font_size=18, font_family='sans-serif') plt.axis('off') plt.show()

这是一个绘制DFA图形的Python程序，它使用了networkx和matplotlib.pyplot库。这个程序定义了一个有向图G，它包含了DFA的各个状态和转移边。在绘制图形的过程中，使用spring_layout函数为每个节点指定位置，使用draw_networkx_nodes和draw_networkx_edges函数绘制节点和边，使用draw_networkx_edge_labels函数为每条边添加标签，使用draw_networkx_labels函数为每个节点添加标签。最后，使用plt.show函数显示绘制的图形。