，程式计数器走过所有可能标记（流程图方块）的情形。哈雷尔将此版大众定理的源头追溯到两篇论文，一篇是1946年描述冯·诺伊曼结构，用单一while回圈说明程式计数器的运作原理，哈雷尔也注意到大众定理中用到的单一回圈基本上可以提供冯·诺伊曼式电脑执行流程的操作语义。。另一篇更早期的论文则是斯蒂芬·科尔·克莱尼1936年的正规形式定理（Kleene's T predicate）论文。高德纳批评这种转换后的结果类似以下的伪代码，重点是在此转换中完全破坏了原程式的结构。Bruce Ian Mills也有类似的看法