转到,不要去!证明:

Question

这是证明:

每个算法A使用go或类似设计,等同于不使用的另一个算法B.

换一种说法:

使用去设计的每个算法,都可以不用去设计.

如何证明？

Answer 1

C.Böhm,G.Jacopini,"流程图,图灵机和只有两种形成规则的语言",Comm.ACM,9(5):366-371,1966.

http://en.wikipedia.org/wiki/Structured_program_theorem

http://en.wikipedia.org/wiki/P"

Böhm-Jacopini证明描述了如何从任意图表构造结构化流程图,使用额外整数变量中的位来跟踪原始程序由程序位置表示的信息.这种结构基于Böhm的编程语言P''.Böhm-Jacopini证明并没有解决是否采用结构化编程进行软件开发的问题,部分原因是这种结构更可能掩盖程序而不是改进程序.相反,它标志着辩论的开始.埃德斯·迪克斯特拉(Edsger Dijkstra)的着名信件"Go To Statement were Armful",随后于1968年出现.该定理的后续证明解决了Böhm-Jacopini证明的实际缺点,其结构保持或提高了原始程序的清晰度.1