A.巴科斯B.乔姆斯基C.诺尔D.图灵文字输入计算机后，要使计算机对自然语言进行处理，就必须使其形式化。因此，……

单项选择题计算机要处理高级语言，就必须使其形式化。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

单项选择题在关系模式的形式化定义中，关系模式（R）是一个四元组，即R=〈U，D，dom，F〉其中：（1）U表示关系中所有属性的集合（2）D表示属性集合U中属性所来自的域（3）dom是属性到域的映射则关于元组F的解释正确的是（）。

A.F是域D上的一组数据依赖
B.F是属性集合U上的一组数据
C.F是属性集合U上的一组数据依赖
D.F是映射dom上的一组映射依赖

单项选择题在“学生选课”例子中，A={学生，属性，码，关系，学号，姓名，年龄，性别，课程，课程号，课程名，成绩，E-R图，“学生选课”E-R图，关系模型，“学生选课”关系模型……}一般被划分到以下哪种形态？（）

A.抽象
B.理论
C.设计
D.不能划分

单项选择题在“学生选课”例子中，T={关系代数，关系演算，数据依赖理论……}一般被划分到以下哪种形态？（）

A.抽象
B.理论
C.设计
D.不能划分

单项选择题在“学生选课”例子中，D={“学生选课”应用软件，“学生选课”需求说明书……}一般被划分到以下哪种形态？（）

A.抽象
B.理论
C.设计
D.不能划分