文字输入计算机后，要使计算机对自然语言进行处理，就必须使其形式化。因此，如何解决自然语言语法和语义的形式化问题，就成为计算机处理自然语言的关键。（）把人所具有的创造和理解正确句子的能力称为语言的“创造性”（Creativity）。而语言“创造性”过程的本质就是由有限数量的词根据一定的规则产生正确句子的过程，进一步而言，其实质也就是一个字符串到另一个字符串的变换过程。

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