单项选择题计算机要处理高级语言,就必须使其形式化。20世纪50年代,美国语言学家乔姆斯基(Noam Chomsky)关于语言分层的理论,以及巴科斯(John Backus)、诺尔(Peter Naur)关于“上下文无关方法表示形式”的研究成果推动了语法形式化的研究。其结果是,在ALGOL60的文本设计中第一次使用了巴科斯—诺尔范式(Backus—Naur Form,BNF)来表示语法,并且第一次在语言文本中明确提出应将语法和语义区分开来。巴科斯因发明BNF与世界第一个高级语言()而于1977年获图灵奖。诺尔因改进巴科斯的描述法,并用于描述整个ALGOL语言,受到业界的高度评价并于2005年获图灵奖。
A.Python
B.FORTRAN
C.COBOL
D.BASIC