gpt4 book ai didi

algorithm - 去,不要去!这个 : 的证明

转载 作者:塔克拉玛干 更新时间:2023-11-03 02:29:31 24 4
gpt4 key购买 nike

是否经过验证:

使用 go to 或类似的东西设计的每个算法 A 都等同于另一个不使用 go to 的算法 B

换句话说:

每个使用 go to 设计的算法,都可以在不使用 go to 的情况下设计。

如何证明?

最佳答案

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 Considered Harmful”随后于 1968 年发表。该定理的后续证明解决了 Böhm-Jacopini 证明的实际缺点,其结构保持或提高了原始程序的清晰度。 1

关于algorithm - 去,不要去!这个 : 的证明,我们在Stack Overflow上找到一个类似的问题: https://stackoverflow.com/questions/2505924/

24 4 0
Copyright 2021 - 2024 cfsdn All Rights Reserved 蜀ICP备2022000587号
广告合作:1813099741@qq.com 6ren.com