导致等关系表示为状态之间的连接D所有状体和连接构成状态图