:::单一while回圈的大众定理版本.此版本的定理将原来定理中的程式控制流程改为一个codice_1回圈，模拟在原来非结构化的程式中，程式计数器走过所有可能标记（流程图方块）的情形。哈雷尔将此版大众定理的源头追溯到两篇论文，一篇是1946年描述冯·诺伊曼结构，用单一while回圈说明程式计数器的运作原理，哈雷尔也注意到大众定理中用到的单一回圈基本上可以提供冯·诺伊曼式电脑执行流程的操作语义。。另一篇更早期的论文则是斯蒂芬·科尔·克莱尼1936年的正规形式定理（Kleene's T predicate）论