：McCabe发现上述这些子图不是彼此独立的，程式无法结构化的充份必要条件是控制流图中有子图有上述四种条件中的三种（或三种以上）。McCabe也发现若非结构化的程式中包括其中四个条件中的一个，它一定还会包含另一个。这也是非结构化的程式流程会纠结到类似义大利面的原因。McCabe也提供一个量化方式，说明一个程式和理想结构化程式之间的距离，并称其为本质复杂度。到1990年为止，学者们提出许多消除既有程式中跳转指令，但又维持大部份控制架构的方式，也提出许多标示程式等价的方式，这些方式比简单的图灵等价要严格，以