Lazy loaded image
技术分享与前沿技术域认知
🤔疯狂Jāva讲义(第5版)(李刚)笔误
Words 419Read Time 2 min
2025-12-19
2025-12-19
slug
疯狂Jāva讲义(第5版)(李刚)笔误
type
Post
status
Published
date
Dec 19, 2025
tags
文字
开发
summary
category
技术分享与前沿技术域认知
icon
password
 
notion image
当我看到这里说的,有科学家证明任何简单或者复杂的算法都可以由顺序结构、选择结构和循环结构这三种基本结构组合而成
这也变向说明了为什么不用goto语句,这样的方法会让计算机程序变成非线性执行,但是这里证明了,任何非线性执行,都可以使用这三种方式变成线性执行。
 
然后这里引起了我的注意,1996年,这未免有些太晚了吧,这如何可能,顺藤摸瓜,我找到了这篇论文,发现时间标注错误,该论文是1966年发表的,应该是作者笔误。
notion image
论文原文:
 
举例简单认证:
假设你有一段逻辑,中间有一个非常狂野的 goto 直接从循环深处跳到了外面:
Böhm 和 Jacopini 证明了它一定可以改写为类似这种结构:
结论: 既然这种“While + If - Else”的组合可以模拟出任何复杂的跳转逻辑,那么证明就成立了:顺序、选择、循环足以表达所有算法。
上一篇
情绪价值的本质:先成为有价值的人
下一篇
深入浅出数据库索引 (Database Indexing)