slug
type
status
date
tags
summary
category
icon
password

当我看到这里说的,有科学家证明任何简单或者复杂的算法都可以由顺序结构、选择结构和循环结构这三种基本结构组合而成
这也变向说明了为什么不用goto语句,这样的方法会让计算机程序变成非线性执行,但是这里证明了,任何非线性执行,都可以使用这三种方式变成线性执行。
然后这里引起了我的注意,1996年,这未免有些太晚了吧,这如何可能,顺藤摸瓜,我找到了这篇论文,发现时间标注错误,该论文是1966年发表的,应该是作者笔误。

论文原文:
举例简单认证:
假设你有一段逻辑,中间有一个非常狂野的
goto 直接从循环深处跳到了外面:Böhm 和 Jacopini 证明了它一定可以改写为类似这种结构:
结论: 既然这种“While + If - Else”的组合可以模拟出任何复杂的跳转逻辑,那么证明就成立了:顺序、选择、循环足以表达所有算法。
- Author:盛溪
- URL:https://tangly1024.com/article/%E7%96%AF%E7%8B%82J%C4%81va%E8%AE%B2%E4%B9%89(%E7%AC%AC5%E7%89%88)(%E6%9D%8E%E5%88%9A)%E7%AC%94%E8%AF%AF
- Copyright:All articles in this blog, except for special statements, adopt BY-NC-SA agreement. Please indicate the source!
Relate Posts

