原理，哈雷尔也注意到大众定理中用到的单一回圈基本上可以提供冯·诺伊曼式电脑执行流程的操作语义。。另一篇更早期的论文则是斯蒂芬·科尔·克莱尼1936年的正规形式定理（Kleene's T predicate）论文。高德纳批评这种转换后的结果类似以下的伪代码，重点是在此转换中完全破坏了原程式的结构。Bruce Ian Mills也有类似的看法：「块状结构的精神是其风格，不是使用的语言。利用模拟冯·诺伊曼结构的方式，可以将任何一个面条式代码转换为块状结构的语言，但它面条式代码的本质没有改变。」p := 1;