由一个入度为的节点组成，对应于源节点;由一个出度为的节点组成，对应于汇节点;由一个入度≥或出度≥的节点组成，对应于判定语句或判定语句的结束;由一个入度为且出度为的节点组成，对应于短分支;由长度≥的最大链组成，对应于串行语句序列