slug
type
status
date
tags
summary
category
icon
password
 
notion image
当我看到这里说的,有科学家证明任何简单或者复杂的算法都可以由顺序结构、选择结构和循环结构这三种基本结构组合而成
这也变向说明了为什么不用goto语句,这样的方法会让计算机程序变成非线性执行,但是这里证明了,任何非线性执行,都可以使用这三种方式变成线性执行。
 
然后这里引起了我的注意,1996年,这未免有些太晚了吧,这如何可能,顺藤摸瓜,我找到了这篇论文,发现时间标注错误,该论文是1966年发表的,应该是作者笔误。
notion image
论文原文:
 
举例简单认证:
假设你有一段逻辑,中间有一个非常狂野的 goto 直接从循环深处跳到了外面:
Böhm 和 Jacopini 证明了它一定可以改写为类似这种结构:
结论: 既然这种“While + If - Else”的组合可以模拟出任何复杂的跳转逻辑,那么证明就成立了:顺序、选择、循环足以表达所有算法。
中文文案排版指北业务决定裁剪
Loading...
盛溪
盛溪
盛溪的学习&生活博客
Announcement
🌟 欢迎来到盛溪的博客!🌟
大家好,我是盛溪。在这里,我将分享我的生活感悟、学习心得以及其他一些有趣的发现。希望我的文章能为你的生活带来一点启发和乐趣。
微信号: felix_windsor
📅 更新通知:
  • 我会定期更新博客,分享新的内容。
💬 互动环节:
  • 如果你有任何问题或想法,欢迎在评论区留言。我非常期待与你的互动!
📚 推荐阅读:
  • 不定期推荐一些我觉得有价值的书籍或资源,希望能对你有所帮助。
感谢你的访问和支持,希望你能常来逛逛!
盛溪敬上