阿尔弗雷德·阿霍
人员信息
附属： 美国纽约哥伦比亚大学 奖项（2020）： 图灵奖 奖项（2003年）： IEEE约翰·冯·诺依曼奖章
优化列表
2020年–今天
2022 
[公元55年] 阿尔弗雷德·阿霍 , 杰弗里·D·厄尔曼 :
抽象、算法和编译器。 Commun公司。 ACM公司 65 ( 2 ) : 76-91 ( 2022 ) 2021 [公元38年] 阿尔弗雷德·阿霍 :
编程语言和编译器设计中的计算思维（基调）。 STOC公司 2021 : 1
2010 – 2019
2017 [公元37年] 苏珊娜·施梅尔克 , 弗雷德·方丹 , 拉里萨·阿克曼 , 阿尔弗雷德·阿霍 :
在纽约市移民工程师再培训项目中学习Java。 菲 2017 : 1-7 2015 [公元36年] 苏珊娜·施梅尔克 , 杨俊峰 , 阿尔弗雷德·阿霍 :
Android恶意软件静态分析技术。 CISR公司 2015 : 5:1-5:8 2014 [约54] 阿尔弗雷德·阿霍 , 乔治·戈特洛布 
:
前排座位 通信 '编辑转型。 Commun公司。 ACM公司 57 ( 4 ) : 5 ( 2014 ) 2012 [公元53年] 阿尔弗雷德·阿霍 :
计算和计算思维。 计算。 J。 55 ( 7 ) : 832-835 ( 2012 ) 2011 [公元52年] 阿尔弗雷德·阿霍 :
普及研讨会：计算和计算思维。 无处不在 2011 ( 一月 ) : 1 ( 2011 ) [第3页] 阿尔弗雷德·阿霍 :
复杂性理论。 计算机科学、硬件、软件及其核心 2011 : 241-267 [电子8] 爱德华·K·布鲁姆 , 阿尔弗雷德·阿霍 :
计算机科学，硬件，软件及其核心。 施普林格 2011 ，国际标准图书编号 978-1-4614-1167-3 [目录]
2000 – 2009
2008 [公元51年] 阿尔弗雷德·阿霍 :
教授编译器课程。 ACM SIGCSE公牛。 40 ( 4 ) : 6-8 ( 2008 ) [约50] 马克·伊迪 , 托马斯·齐默尔曼 , 凯廷·D·舍伍德 , Vibhav Garg公司 , 盖尔·墨菲 , 纳恰帕·纳加潘 , 阿尔弗雷德·阿霍 :
横切问题会导致缺陷吗？ IEEE传输。 软件工程师。 34 ( 4 ) : 497-515 ( 2008 ) [公元35年] 马克·伊迪 , 阿尔弗雷德·阿霍 , 朱利亚诺·安东尼奥 , Yann Gaël Guéhéneuc公司 :
CERBERUS：使用信息检索、动态分析和程序分析追踪源代码的需求。 国际刑警组织 2008 : 53-62 2007 [公元34年] 马克·伊迪 , 阿尔弗雷德·阿霍 , 胡伟平 , 帕迪·麦克唐纳 , 朱利安·伯格 :
调试启用方面的程序。 SC@ETAPS（预计到达时间） 2007 : 200-215 2006 [j49] Krysta M.Svore公司 , 阿尔弗雷德·阿霍 , 安德鲁·克罗斯 , 艾萨克·L·创 , 伊戈尔·L·马尔可夫 :
量子计算设计工具的分层软件体系结构。 电脑类 39 ( 1 ) : 74-83 ( 2006 ) [公元48年] Krysta M.Svore公司 , 安德鲁·克罗斯 , 艾萨克·L·创 , 阿尔弗雷德·阿霍 :
用于分析容错量子计算中伪阈值的流映射模型。 量子信息计算。 6 ( 三 ) : 193-212 ( 2006 ) [公元33年] 马克·伊迪 , 阿尔弗雷德·阿霍 :
细粒度建议的语句注释。 冲压发动机 2006 : 89-99 2003 [第2页] 阿尔弗雷德·阿霍 , 马克·高伯格 , 约瑟夫·劳里 , 理查德·博里 , R.加里·帕克 , 克雷格·A·托维 :
图形表示。 图论手册 2003 : 56-125 2002 [j47] 肯尼思·罗斯 , 阿尔弗雷德·阿霍 , Anastasia Ailamaki病 :
影响力论文回忆录。 SIGMOD记录。 31 ( 4 ) : 97 ( 2002 ) 2000 [公元32年] 阿尔弗雷德·阿霍 , 大卫·李 :
分层网络和OSPF路由中的LSA N平方问题。 全球通讯社 2000 : 397-404
1990 – 1999
1998 [公元31年] 阿尔弗雷德·阿霍 , 贾拉汉 , 南希·D·格里菲斯 , 辛西娅·谢尔 , 黛博拉·斯韦恩 :
SCF3/带凿子的雕刻师：通信服务的需求工程。 FIW公司 1998 : 45-63 1997 [公元46年] 阿尔弗雷德·阿霍 , 张世富 , 凯萨琳·R·麦考恩 , 德拉戈米尔·拉德夫 , 约翰·史密斯 , 卡齐·扎曼 :
哥伦比亚数字新闻项目：多媒体信息简报和搜索环境。 国际期刊数字。 伦敦银行同业拆借利率。 1 ( 4 ) : 377-385 ( 1997 ) [j45] 阿尔弗雷德·阿霍 , 大卫·约翰逊 , 理查德·卡普 , S.Rao Kosaraju公司 , 凯瑟琳·麦克基奥（Catherine C.McGeoch） , 克里斯托斯·帕帕迪米特里奥 , 帕维尔·A·佩夫兹纳 :
理论计算机科学的新兴机遇。 SIGACT新闻 28 ( 三 ) : 65-74 ( 1997 ) [c30] 阿尔弗雷德·阿霍 , 张世富 , 凯萨琳·R·麦考恩 , 德拉戈米尔·拉德夫 , 约翰·史密斯 , 卡齐·扎曼 :
哥伦比亚数字新闻系统多媒体信息简报和搜索环境。 ADL公司 1997 : 82-94 1996 【b8】 阿尔弗雷德·阿霍 , 杰弗里·D·厄尔曼 :
Informatik-Datentrukturen und Konzepte der Abstractation（信息）。 Informatik Lehrbuchriehe公司 , 国际汤姆逊 1996 ，国际标准图书编号 978-3-8266-0242-9 ，第1-1042页 [公元29年] 阿尔弗雷德·阿霍 :
从全球分布的知识库访问信息。 豆荚 1996 : 1-4 1995 [公元28年] 阿尔弗雷德·阿霍 , 南希·D·格里菲斯 :
全球信息基础设施中的功能交互（面板）。 SIGSOFT FSE公司 1995 : 2-4 1992 【b7】 阿尔弗雷德·阿霍 , 杰弗里·D·厄尔曼 :
计算机科学基础，C版。 计算机科学出版社/W.H.Freeman 1992 ，国际标准图书编号 0716782332 第I-XIII页，1-765页 1991 [公元44年] 阿尔弗雷德·阿霍 , 安东·达布拉（Anton T.Dahbura） , 大卫·李 , 乌亚尔大学 :
基于UIO序列和中国农村邮递员旅行的协议一致性测试生成优化技术。 IEEE传输。 Commun公司。 39 ( 11 ) : 1604-1615 ( 1991 ) 1990 [第1页] 阿尔弗雷德·阿霍 :
查找字符串模式的算法。 理论计算机科学手册，A卷：算法和复杂性（A） 1990 : 255-300
1980 – 1989
1989 [公元43年] 阿尔弗雷德·阿霍 , 马哈德万·加纳帕蒂 , 史蒂芬·W·K·Tjiang :
使用树匹配和动态编程生成代码。 ACM事务处理。 程序。 语言系统。 11 ( 4 ) : 491-516 ( 1989 ) 1988 【b6】 阿尔弗雷德·阿霍 , 布莱恩·克宁翰 , 彼得·温伯格 :
AWK编程语言。 出版商 1988 [j42] 阿尔弗雷德·阿霍 , 拉维·塞蒂 :
维护手稿中的交叉引用。 柔和。 实际。 支出。 18 ( 1 ) : 1-13 ( 1988 ) 1987 [电子7] 阿尔弗雷德·阿霍 :
1987年，美国纽约州纽约市，第19届ACM计算理论年会论文集。 ACM公司 1987 ，国际标准图书编号 0-89791-221-7 [目录] 1986 【b5】 阿尔弗雷德·阿霍 , 拉维·塞蒂 , 杰弗里·D·厄尔曼 :
编译器：原理、技术和工具。 Addison-Wesley计算机科学系列/世界学生系列版 , 出版商 1986 ，国际标准图书编号 0-201-10088-6 ，第I-X页，1-796页 [c27] 阿尔弗雷德·阿霍 , 大卫·李 :
存储动态稀疏表。 光纤通信系统 1986 : 55-60 1985 [公元26年] 阿尔弗雷德·阿霍 , 马哈德万·加纳帕蒂 :
高效的树模式匹配：代码生成的辅助工具。 POPL公司 1985 : 334-340 1984 [公元41年] 阿尔弗雷德·阿霍 :
UNIX系统：前言。 AT&T贝尔实验室技术期刊。 63 ( 8 ) : 1573-1576 ( 1984 ) 1983 【b4】 阿尔弗雷德·阿霍 , 霍普克罗夫特 , 杰弗里·D·厄尔曼 :
数据结构和算法。 出版商 1983 ，国际标准图书编号 0-201-00023-7 [公元25年] 阿尔弗雷德·阿霍 , 杰弗里·D·厄尔曼 , 米哈利斯·扬纳卡基斯 :
VLSI电路中的信息传输概念。 STOC公司 1983 : 133-139 1982 [电子6] 杰弗里·D·厄尔曼 , 阿尔弗雷德·阿霍 :
美国计算机学会数据库系统原理研讨会论文集，1982年3月29日至31日，美国加利福尼亚州洛杉矶。 ACM公司 1982 ，国际标准图书编号 0-89791-070-2 [目录] 1981 [j40] 阿尔弗雷德·阿霍 , 叶霍舒亚·萨吉夫 , 托马斯·希曼斯基 , 杰弗里·D·厄尔曼 :
使用关系表达式优化应用程序从最低公共祖先推断树。 SIAM J.计算。 10 ( 三 ) : 405-421 ( 1981 ) [公元39年] 马文·V·泽尔科维茨 , W.Richards Adrion公司 , 阿尔弗雷德·阿霍 , 丹尼尔·博布罗 , 托马斯·切坦 , 约翰·切尔尼亚夫斯基 , 苏珊·L·格哈特 , 戈登·里昂 , 发言人约翰·耐斯特 , 特里·A·斯特雷特 :
高级语言编程环境。 ACM SIGSOFT软件。 工程注释 6 ( 4 ) : 36-51 ( 1981 ) 1980 [公元38年] 阿尔弗雷德·阿霍 :
翻译写作系统：它们现在处于什么位置？ 电脑类 13 ( 8 ) : 9-14 ( 1980 )
1970 – 1979
1979 [公元37年] 阿尔弗雷德·阿霍 , 叶霍舒亚·萨吉夫 , 杰弗里·D·厄尔曼 :
关系表达式之间的等价性。 SIAM J.计算。 8 ( 2 ) : 218-246 ( 1979 ) [公元36年] 阿尔弗雷德·阿霍 , 布莱恩·克宁翰 , 彼得·温伯格 :
Awk-一种模式扫描和处理语言。 柔和。 实际。 支出。 9 ( 4 ) : 267-279 ( 1979 ) [j35] 阿尔弗雷德·阿霍 , 杰弗里·D·厄尔曼 :
独立指定字段时的最佳部分匹配检索。 ACM事务处理。 数据库系统。 4 ( 2 ) : 168-179 ( 1979 ) [公元34年] 阿尔弗雷德·阿霍 , 卡特里尔·比里 , 杰弗里·D·厄尔曼 :
关系数据库中的连接理论。 ACM事务处理。 数据库系统。 4 ( 三 ) : 297-314 ( 1979 ) [j33] 阿尔弗雷德·阿霍 , 叶霍舒亚·萨吉夫 , 杰弗里·D·厄尔曼 :
一类关系表达式的高效优化。 ACM事务处理。 数据库系统。 4 ( 4 ) : 435-454 ( 1979 ) [公元24年] 阿尔弗雷德·阿霍 , 杰弗里·D·厄尔曼 , 米哈利斯·扬纳卡基斯 :
通过Automata对通信协议进行建模。 光纤通信系统 1979 : 267-273 【c23】 阿尔弗雷德·阿霍 , 杰弗里·D·厄尔曼 :
数据检索语言的普遍性。 POPL公司 1979 : 110-120 [电子5] 阿尔弗雷德·阿霍 , 斯蒂芬·N·齐尔斯 , 巴里·罗森 :
1979年1月于美国德克萨斯州圣安东尼奥举行的第六届美国计算机学会编程语言原理年会会议记录。 美国计算机协会出版社 1979 [目录] [电子4] 迈克尔·菲舍尔 , 理查德·德米洛 , 南希·A·林奇 , 沃尔特·伯克哈德 , 阿尔弗雷德·阿霍 :
1979年4月30日至5月2日在美国佐治亚州亚特兰大举行的第11届ACM计算理论年度研讨会论文集。 ACM公司 1979 [目录] 1978 [公元22年] 阿尔弗雷德·阿霍 , 苏珊·L·格雷厄姆 :
自动编译器生成工具（小组讨论）。 ACM年会（1） 1978 : 476-477 【c21】 阿尔弗雷德·阿霍 , 斯蒂芬·约翰逊 :
自动编译器生成工具（小组讨论）。 ACM年会（1） 1978 : 476 [公元20年] 阿尔弗雷德·阿霍 , 叶霍舒亚·萨吉夫 , 杰弗里·D·厄尔曼 :
一类关系表达式的高效优化（抽象）。 SIGMOD会议 1978 : 39 [电子3] 阿尔弗雷德·阿霍 , 斯蒂芬·N·齐尔斯 , 托马斯·希曼斯基 :
1978年1月于美国亚利桑那州图森市举行的第五届美国计算机学会编程语言原理年会会议记录。 美国计算机协会出版社 1978 [目录] [电子2] 理查德·利普顿 , 沃尔特·伯克哈德 , 沃尔特·J·萨维奇 , 艾米莉·弗里德曼 , 阿尔弗雷德·阿霍 :
1978年5月1日至3日在美国加利福尼亚州圣地亚哥举行的第十届ACM计算理论年会论文集。 ACM公司 1978 [目录] 1977 [公元32年] 阿尔弗雷德·阿霍 , 斯蒂芬·约翰逊 , 杰弗里·D·厄尔曼 :
带公共子表达式的表达式的代码生成。 美国临床医学杂志 24 ( 1 ) : 146-160 ( 1977 ) [公元31年] 阿尔弗雷德·阿霍 , 迈克尔·R·加里 , 弗兰克·K·黄 :
矩形steiner树：高效的特殊情况算法。 网络 7 ( 1 ) : 37-58 ( 1977 ) [第19条] 阿尔弗雷德·阿霍 , 卡特里尔·比里 , 杰弗里·D·厄尔曼 :
关系数据库中的连接理论（扩展抽象）。 光纤通信系统 1977 : 107-113 [第18条] 阿尔弗雷德·阿霍 , 拉维·塞蒂 :
编译器代码生成有多难？ ICALP公司 1977 : 1-15 [c17] 阿尔弗雷德·阿霍 , 斯蒂芬·约翰逊 , 杰弗里·D·厄尔曼 :
具有多寄存器操作的机器的代码生成。 POPL公司 1977 : 21-28 1976 【j30】 阿尔弗雷德·阿霍 , 丹尼尔·希尔施贝格（Daniel S.Hirschberg） , 杰弗里·D·厄尔曼 :
最长公共子序列问题复杂性的界限。 美国临床医学杂志 23 ( 1 ) : 1-12 ( 1976 ) [公元29年] 阿尔弗雷德·阿霍 , 斯蒂芬·约翰逊 :
表达式树的最佳代码生成。 美国临床医学杂志 23 ( 三 ) : 488-501 ( 1976 ) [公元28年] 阿尔弗雷德·阿霍 , 杰弗里·D·厄尔曼 :
可简化流图的节点列表。 J.计算。 系统。 科学。 13 ( 三 ) : 286-299 ( 1976 ) [公元27年] 阿尔弗雷德·阿霍 , 霍普克罗夫特 , 杰弗里·D·厄尔曼 :
关于在树中寻找最低的共同祖先。 SIAM J.计算。 5 ( 1 ) : 115-132 ( 1976 ) [第16条] 阿尔弗雷德·阿霍 , 斯蒂芬·约翰逊 , 杰弗里·D·厄尔曼 :
带公共子表达式的表达式的代码生成。 POPL公司 1976 : 19-31 1975 [公元26年] 阿尔弗雷德·阿霍 , 玛格丽特·科拉西克 :
高效字符串匹配：书目搜索的辅助工具。 Commun公司。 ACM公司 18 ( 6 ) : 333-340 ( 1975 ) [公元25年] 阿尔弗雷德·阿霍 , 斯蒂芬·约翰逊 , 杰弗里·D·厄尔曼 :
歧义语法的确定性分析。 Commun公司。 ACM公司 18 ( 8 ) : 441-452 ( 1975 ) [公元24年] 阿尔弗雷德·阿霍 , 肯尼思·斯蒂格利茨 , 杰弗里·D·厄尔曼 :
在固定点集上计算多项式。 SIAM J.计算。 4 ( 4 ) : 533-539 ( 1975 ) [第15条] 阿尔弗雷德·阿霍 , 杰弗里·D·厄尔曼 :
可简化流图的节点列表。 STOC公司 1975 : 177-185 [第14条] 阿尔弗雷德·阿霍 , 斯蒂芬·约翰逊 :
表达式树的最佳代码生成。 STOC公司 1975 : 207-217 1974 【b3】 阿尔弗雷德·阿霍 , 霍普克罗夫特 , 杰弗里·D·厄尔曼 :
计算机算法的设计与分析。 出版商 1974 ，国际标准图书编号 0-201-00029-6 [公元23年] 阿尔弗雷德·阿霍 , 斯蒂芬·约翰逊 :
LR解析。 ACM计算。 Surv公司。 6 ( 2 ) : 99-124 ( 1974 ) [公元22年] 阿尔弗雷德·阿霍 , 杰弗里·D·厄尔曼 :
具有快速随机和顺序访问的动态存储器。 IEEE传输。 计算机 23 ( 三 ) : 272-276 ( 1974 ) [第13条] 阿尔弗雷德·阿霍 , 丹尼尔·希尔施贝格（Daniel S.Hirschberg） , 杰弗里·D·厄尔曼 :
最长公共子序列问题复杂性的界限（扩展抽象）。 重拍 1974 : 104-109 1973 【b2】 阿尔弗雷德·阿霍 , 杰弗里·D·厄尔曼 :
解析、翻译和编译理论。 2：编译。 Prentice-Hall公司 1973 ，国际标准图书编号 0139145648 第I-XII页，1-543页 [公元21年] 阿尔弗雷德·阿霍 , 杰弗里·D·厄尔曼 :
优先分析器中的错误检测。 数学。 系统。 理论 7 ( 2 ) : 97-113 ( 1973 ) [j20] 阿尔弗雷德·阿霍 , 杰弗里·D·厄尔曼 :
一种加速LR（k）解析器的技术。 SIAM J.计算。 2 ( 2 ) : 106-127 ( 1973 ) [第12条] 阿尔弗雷德·阿霍 , 斯蒂芬·约翰逊 , 杰弗里·D·厄尔曼 :
歧义语法的确定性分析。 POPL公司 1973 : 1-21 [第11条] 阿尔弗雷德·阿霍 , 霍普克罗夫特 , 杰弗里·D·厄尔曼 :
关于在树中寻找最低的共同祖先。 STOC公司 1973 : 253-265 [电子1] 阿尔弗雷德·阿霍 , 阿伦·博罗丁 , 罗伯特·康斯特布尔 , 罗伯特·弗洛伊德 , 迈克尔·哈里森 , 理查德·卡普 , H.雷蒙德·斯特朗 :
1973年4月30日至5月2日在美国德克萨斯州奥斯汀举行的第五届ACM计算理论年会论文集。 ACM公司 1973 [目录] 1972 【b1】 阿尔弗雷德·阿霍 , 杰弗里·D·厄尔曼 :
解析、翻译和编译理论。 1：正在分析。 Prentice-Hall公司 1972 ，国际标准图书编号 0139145567 第I-XVIII页，1-542页 [公元19年] 阿尔弗雷德·阿霍 , 彼得·J·丹尼 , 杰弗里·D·厄尔曼 :
弱策略和混合策略优先分析。 美国临床医学杂志 19 ( 2 ) : 225-243 ( 1972 ) [公元18年] 阿尔弗雷德·阿霍 , 杰弗里·D·厄尔曼 :
结构化变量程序的等价性。 J.计算。 系统。 科学。 6 ( 2 ) : 125-137 ( 1972 ) [公元17年] 阿尔弗雷德·阿霍 , 杰弗里·D·厄尔曼 :
LR（k）分析器的优化。 J.计算。 系统。 科学。 6 ( 6 ) : 573-602 ( 1972 ) [公元16年] 阿尔弗雷德·阿霍 , 杰弗里·D·厄尔曼 :
直线程序的优化。 SIAM J.计算。 1 ( 1 ) : 1-19 ( 1972 ) [公元15年] 阿尔弗雷德·阿霍 , M.R.加里 , 杰弗里·D·厄尔曼 :
有向图的传递约简。 SIAM J.计算。 1 ( 2 ) : 131-137 ( 1972 ) [公元14年] 阿尔弗雷德·阿霍 , 托马斯·彼得森 :
无上下文语言的最小距离纠错分析器。 SIAM J.计算。 1 ( 4 ) : 305-312 ( 1972 ) [第10条] 阿尔弗雷德·阿霍 , 杰弗里·D·厄尔曼 :
一种加速LR（k）分析器的技术。 STOC公司 1972 : 251-263 1971 [j13] 阿尔弗雷德·阿霍 , 杰弗里·D·厄尔曼 :
基于上下文无关语法的翻译。 信息控制。 19 ( 5 ) : 439-475 ( 1971 ) [公元12年] 阿尔弗雷德·阿霍 , 彼得·J·丹尼 , 杰弗里·D·厄尔曼 :
最佳页面替换原则。 美国临床医学杂志 18 ( 1 ) : 80-93 ( 1971 ) [公元11年] 阿尔弗雷德·阿霍 , 杰弗里·D·厄尔曼 :
下推翻译的特征和扩展。 数学。 系统。 理论 5 ( 2 ) : 172-192 ( 1971 ) 【c9】 阿尔弗雷德·阿霍 , 杰弗里·D·厄尔曼 :
LR（k）语法的护理和喂养。 STOC公司 1971 : 159-170 1970 [公元10年] 阿尔弗雷德·阿霍 , 杰弗里·D·厄尔曼 , 霍普克罗夫特 :
下推自动机的计算能力。 J.计算。 系统。 科学。 4 ( 2 ) : 129-136 ( 1970 ) [公元9年] 阿尔弗雷德·阿霍 , 杰弗里·D·厄尔曼 :
双向决定论语言类的特征。 J.计算。 系统。 科学。 4 ( 6 ) : 523-538 ( 1970 ) 【c8】 阿尔弗雷德·阿霍 , 拉维·塞蒂 , 杰弗里·D·厄尔曼 :
代码优化的正式方法。 编译器优化研讨会 1970 : 86-100 【c7】 阿尔弗雷德·阿霍 , 杰弗里·D·厄尔曼 :
结构化变量程序的等价性。 重拍 1970 : 25-31 【c6】 阿尔弗雷德·阿霍 , 杰弗里·D·厄尔曼 :
直线程序的转换-初步版本。 STOC公司 1970 : 136-148
1960 – 1969
1969 [j8] 阿尔弗雷德·阿霍 :
嵌套堆栈自动机。 美国临床医学杂志 16 ( 三 ) : 383-406 ( 1969 ) [j7] 阿尔弗雷德·阿霍 , 杰弗里·D·厄尔曼 :
语法指导翻译和下推汇编程序。 J.计算。 系统。 科学。 三 ( 1 ) : 37-56 ( 1969 ) [j6] 阿尔弗雷德·阿霍 , 杰弗里·D·厄尔曼 :
语法导向翻译的属性。 J.计算。 系统。 科学。 三 ( 三 ) : 319-334 ( 1969 ) [j5] 阿尔弗雷德·阿霍 , 霍普克罗夫特 , 杰弗里·D·厄尔曼 :
翻译通论。 数学。 系统。 理论 三 ( 三 ) : 193-221 ( 1969 ) 【c5】 阿尔弗雷德·阿霍 , 杰弗里·D·厄尔曼 :
双向决定论语言类的特征。 重拍 1969 : 231-239 【c4】 阿尔弗雷德·阿霍 , 杰弗里·D·厄尔曼 :
基于上下文无关语法的翻译。 STOC公司 1969 : 93-112 1968 [j4] 阿尔弗雷德·阿霍 , 霍普克罗夫特 , 杰弗里·D·厄尔曼 :
下推自动机语言的时间和磁带复杂性。 信息控制。 13 ( 三 ) : 186-206 ( 1968 ) [j3] 阿尔弗雷德·阿霍 :
索引语法-上下文无关语法的扩展。 美国临床医学杂志 15 ( 4 ) : 647-671 ( 1968 ) [注2] 阿尔弗雷德·阿霍 , 杰弗里·D·厄尔曼 :
语言理论。 数学。 系统。 理论 2 ( 2 ) : 97-125 ( 1968 ) [j1] 阿尔弗雷德·阿霍 :
R68-27自动机编程语言。 IEEE传输。 计算机 17 ( 6 ) : 606 ( 1968 ) 【c3】 阿尔弗雷德·阿霍 , 霍普克罗夫特 , 杰弗里·D·厄尔曼 :
下推存储系统的识别算法。 ACM全国会议 1968 : 597-604 [c2] 阿尔弗雷德·阿霍 , 杰弗里·D·厄尔曼 :
语法导向翻译模式的自动类比。 重拍 1968 : 143-159 1967 【c1】 阿尔弗雷德·阿霍 :
索引语法——上下文无关语法的扩展。 重拍 1967 : 21-31
合著者索引
