把用一组数学符号和规则来描述语言的方式称为什么()。 A推演B推导C形式描述D形式语言
把用一组数学符号和规则来描述语言的方式称为什么()。
A推演
B推导
C形式描述
D形式语言
相关考题：
下列关于计算表示论述中，不正确的是（）A用自然语言表示算法通俗易懂，描述包含分支和循环的算法方便B流程图是用一些图框表示各种操作，用图形表示算法，直观形象，易于理解C伪代码是介于自然语言和计算机语言之间的文字和符号来描述算法D用计算机语言表示算法必须严格所用语言的语法规则
形式语言是进行形式化工作的元语言，它是以数学和数理逻辑为基础的科学语言。形式语言的基本特点有：有一组初始的、专门的符号集；有一组精确定义的，由初始的、专门的符号组成的符号串转换成另一个符号串的规则。在形式语言中，不允许出现根据形成规则无法确定的符号串。例子：语言Z定义为：初始符号集：{a，b，c，d，e，（，)，+，-，´，¸}。形成规则：上述符号组成的有限符号串中，凡以符号“（”开头且以“）”结尾的符号串都是公式，否则不是。则语言Z为一种形式语言。（）
形式语言是进行形式化工作的元语言，它是以数学和数理逻辑为基础的科学语言。形式语言的基本特点有：有一组初始的、专门的符号集；有一组精确定义的，由初始的、专门的符号组成的符号串转换成另一个符号串的规则。在形式语言中，不允许出现根据形成规则无法确定的符号串。例子：语言X定义为：初始符号集：{a，b，c，d，e，（，)，+，-，´，¸}。形成规则：上述符号组成的有限符号串中，构成表达式的为一个公式，否则不是。则语言X为一种形式语言。（）
形式语言是进行形式化工作的元语言，它是以数学和数理逻辑为基础的科学语言。形式语言的基本特点有：有一组初始的、专门的符号集；有一组精确定义的，由初始的、专门的符号组成的符号串转换成另一个符号串的规则。在形式语言中，不允许出现根据形成规则无法确定的符号串。例子:语言Y定义为：初始符号集：{a，b，c，d，e，（，)，+，-，´，¸}。形成规则：上述符号组成的有限符号串中，凡以符号“（”开头且以“）”结尾的符号串都是公式。则语言Y是一种形式语言。（）