首页 文章

这是什么计算机科学定理? [关闭]

提问于
浏览
0

大约十年前我写了一份学习笔记,我写过:

所有编程功能都可以使用支持三种功能的任何语言:逐步执行(语句)根据条件(分支选择)在循环中重复执行来改变执行流程 . 我有三个问题:

1)谁首先假设这个?

2)谁首先证明了这一点? (我记得证明是相对较新的 . )

3)我最喜欢的书籍或文字是什么?

谷歌搜索没有给我任何答案 . :-(

1 回答

  • 1

    您正在考虑Structured Program theorem,它表明具有这些功能的语言可以计算任何computable function .

    正如维基百科所述,CorradoBöhm和Giuseppe Jacopini在1966年以这种形式陈述过,但可以追溯到常规语言 .

相关问题