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