边可以分为前进边及倒退边二个不交集，因此：结构化编程程式语言常会设计让产生的所有控制流图都是可规约控制流图，常见的流程控制指令 (例如IF、FOR、WHILE、BREAK、CONTINUE）都会产生可规约控制流图。若要让控制流图不可规约，需要加上Goto之类的指令。在一些编译器的最佳化过程中，可能会出现不可规约控制流图。
回圈连结度.控制流图的回圈连结度（loop connectedness）是以控制流图的给定深度优先搜索树（DFST）为准。DFST需以启始节点为根，包括控制