图灵奖:约翰·科克(1987)

图灵奖是计算机界最负盛名的奖项,有“计算机界诺贝尔奖”之称。”图灵奖”系列将介绍历届获奖者。每周二更新,本文为第 27 期。图灵奖:约翰·科克(1987)

文章来自微信公众号“科文路”,欢迎关注、互动。转发须注明出处。

本文来自 wiki:John Cocke,翻译基于 谷歌翻译.

John Cocke

中国的老朋友,上过《开讲啦》

约翰·科克(John Cocke,1925 年 5 月 30 日-2002 年 7 月 16 日),美国计算机科学家,因其对计算机体系结构和优化编译器设计的巨大贡献而受到认可。 他被许多人认为是“RISC 架构之父”。

他于 1987 年获得图灵奖。

其图灵奖颁奖词为“在编译器的设计和理论、大型系统的体系结构以及精简指令集计算机(RISC)的开发方面做出了重大贡献; 发现和系统化现在用于优化编译器的许多基本转换,包括减少运算符强度、消除公共子表达式、寄存器分配、常量传播和死代码消除。”。(For significant contributions in the design and theory of compilers, the architecture of large systems and the development of reduced instruction set computers (RISC); for discovering and systematizing many fundamental transformations now used in optimizing compilers including reduction of operator strength, elimination of common subexpressions, register allocation, constant propagation, and dead code elimination.)

生平

科克出生于美国北卡罗来纳州夏洛特。 他于 1946 年在杜克大学获得机械工程学士学位,并于 1956 年获得数学博士学位。

从 1956 年到 1992 年,Cocke 的整个职业生涯都是在 IBM 担任工业研究员。

RISC,精简指令集

他的创新最引人注目的项目是 IBM 801 小型计算机。他发现将架构指令集的设计编译器实际相对简单的指令相匹配可以以低成本实现高性能

CYK 算法

他是CYK算法(C代表Cocke)的发明者之一。

CYK算法(英语:Cocke–Younger–Kasami algorithm,缩写为CYK algorithm)是由约翰·科克,Younger和嵩忠雄共同研究。它是基于动态规划思想设计的一种自底向上语法分析算法,被用来判定任意给定的字符串 $w\in \Sigma^$ 是否属于一个上下文无关文法*。

~~

都看到这儿了,不如关注每日推送的“科文路”、互动起来~

至少点个赞再走吧~

觉得还不错?可以在公众号菜单栏找到“赞赏”入口~

图灵奖:约翰·科克(1987)

https://xlindo.com/kewenlu2023/posts/7453f851/

Author

xlindo

Posted on

2023-11-21

Updated on

2024-01-16

Licensed under

Comments