形式语言是进行形式化工作的元语言,它是以数学和数理逻辑为基础的科学语言。形式语言的基本特点有:有一组初始的、专门的符号集;有一组精确定义的,由初始的、专门的符号组成的符号串转换成另一个符号串的规则。在形式语言中,不允许出现根据形成规则无法确定的符号串。例子:语言X定义为:初始符号集:{a,b,c,d,e,(,),+,-,´,¸}。形成规则:上述符号组成的有限符号串中,构成表达式的为一个公式,否则不是。则语言X为一种形式语言。()

形式语言是进行形式化工作的元语言,它是以数学和数理逻辑为基础的科学语言。形式语言的基本特点有:有一组初始的、专门的符号集;有一组精确定义的,由初始的、专门的符号组成的符号串转换成另一个符号串的规则。在形式语言中,不允许出现根据形成规则无法确定的符号串。例子:语言X定义为:初始符号集:{a,b,c,d,e,(,),+,-,´,¸}。形成规则:上述符号组成的有限符号串中,构成表达式的为一个公式,否则不是。则语言X为一种形式语言。()


参考答案和解析
数学数理逻辑

相关考题:

语言是()的集合 A、句子B、产生式C、符号串D、句型

人类的语言是一个复杂的符号系统。它由()、()和()三个部分或因素组成。 A.指示符号B.基本符号C.语形规则D.语义规则

在人工智能中必须使用人工语言符号系统,目前广泛使用的是以数学、数理逻辑符号语言为蓝本的科学语言,也称为“形式化语言”。以下选项属于它基本特征的是()。 A.明确性B.无歧义性C.多义性D.语言保持单一性

●已知文法G[A],它定义的语言描述为糧 (1) 。G[A]:A → 0B|1CB → 1|1A|0BBC → 0|0A|1CC(1) A.G[A]定义的语言由0、1符号串组成,或者串中1的个数是0的个数2倍,或者串中0的个数是1的个数2倍B.G[A]定义的语言由0、l符号串组成,串中0的个数是1的个数2倍C.G[A]定义的语言由0、1符号串组成,串中1的个数是0的个数2倍D.G[A]定义的语言由0、1符号串组成,串中0和1的个数相同

设某语言的语法规则用上下文无关文法G=(N,T,P,s)表示,其中N是非终结符号的集合,T是终结符号的集合,P是产生式集合,s是开始符号,令V=N∪T,那么符合该语言的句子是( )。A.从s出发推导的、仅包含T中符号的符号串B.从N中符号出发推导的、仅包含T中符号的符号串C.从S出发推导的、包含V中符号的符号串D.从N中符号出发推导的、包含V中符号的符号串

文法G所描述的语言是______的集合。A.文法G的字符表V中所有符号组成的符号串B.文法G的字符表V的闭包V*中的所有符号串C.由文法的识别符号推出的所有符号串D.由文法的识别符号推出的所有终结符号串

句型是由什么推导出的符号串()。A、非终结符B、终结符C、任何符号D、开始符号

一个字母表上全部符号串所组成的集合必然为一有限集。() 此题为判断题(对,错)。

把用一组数学符号和规则来描述语言的方式称为什么()。 A推演B推导C形式描述D形式语言

在人工智能中必须使用人工语言符号系统,目前广泛使用的是以数学、数理逻辑符号语言为蓝本的科学语言,也称为()。 A.图形语言B.形象语言C.未来语言D.“形式化语言”

已知文法G[A],它定义的语言描述为(39)。 G[A]:A→0B|1C B→1|1A|OBB C→O|OA|lCCA.G[A]定义的语言由0、1符号串组成,串中0和1的个数相同B.G[A]定义的语言由0、1符号串组成,串中0的个数是1的个数2倍C.G[A]定义的语言由0、1符号串组成,串中1的个数是0的个数2倍D.G[A]定义的语言由0、1符号串组成,或者串中1的个数是0的个数2倍,或者串中0的个数是1的个数2倍

已知文法C[A],它定义的语言描述为(1)。 G[A]:A→0B|1C B→1 |1A|0BB C→0 |0A|1CCA.G[A]定义的语言由0、1符号串组成,或者串中1的个数是0的个数2倍,或者串中0的个数是1的个数2倍B.G[A]定义的语言由0、1符号串组成,串中0的个数是1的个数2倍C.G[A]定义的语言由0、1符号串组成,串中1的个数是0的个数2倍D.G[A]定义的语言由0、1符号串组成,串中0和1的个数相同

设有穷自动机的状态转换图如下图,该自动机识别的语言是(29)。A.∑={0,1)上的所有符号串的集合,但不包含空符号串B.空符号串集合C.∑={0,1)上的所有符号串的集合,包含空符号串D.空集合

每个非终结符产生的终结符号串都是该语言的子集。() 此题为判断题(对,错)。

下列符号串中,合法的C语言标识将是( )A._121B.121_C.121D.121

N后置编码:指按照下列规则对一个符号串进行处理得到一个新符号串,N表示一个数字。(1)确认初始符号串中每个符号的顺序位置;(2)将初始符号串的第一个符号跳过其后面的一个符号放置,得到一个新符号串;(3)在新符号串中,将初始符号串的第二个符号跳过其后面的两个符号放置,······,依此类推,直到将初始符号串的第N个符号跳过其后面N个符号放置(数到最后一个符号再接着从头数起)。初始符号串的“4后置编码”是

科学研究中使用的形式语言和日常生活中使用的自然语言有很大的不同,形式语言看起来像天书,远离大众,只有一些专业人士才能理解和运用。但其实这是一种误解,自然语言和形式语言的关系就像肉眼与显微镜的关系,肉眼的视域广阔,可以从整体上把握事物的信息;显微镜可以帮助人们看到事物的细节和精微之处,尽管用它看到的范围小,所以,形式语言和自然语言都是人们交流和理解信息的重要工具,把它们结合起来使用,具有强大的力量。以下哪项如果为真,最能支持上述结论?A.通过显微镜看到的内容肯能成为新的“风景”,说明形式语言可以丰富自然语言的表达,我们应重视形式语言。B.正如显微镜下显示的信息最终还是要通过肉眼观察一样,形式语言表述的内容最终也要通过自然语言来实现,说明自然语言更基础。C.科学理论如果仅用形式语言表达,很难被普通民众理解;同样,如果仅用自然语言表达,有可能变得冗长且很难表达准确。D.科学的发展很大程度上改善了普通民众的日常生活,但人们并没有意识到科学表达的基础------形式语言的重要性。E.采用哪种语言其实不重要,关键在于是否表达了真正想表达的思想内容。

科学研究中使用的形式语言和日常生活中自然语言有很大的不同,形式语言看起来像天书,远离大众,只有一些专业人士才能理解和运用,但其实这是一种误解,自然语言和形式语言的关系就像肉眼与显微镜的关系,肉眼的视域广阔,可以从整体上把握的信息:显微镜可以帮助人们看到事物的细节和精微之处,尽管用它看到的范围小,所以,形式语言和自然语言都是人们交流和理解信息的重要工具,把它们结合起来使用,具有强大的力量。以下哪项如果为真,最能支持上述结论?A.通过显微镜看到的内容可能成为暂时的“风暴”,说明形式语言可以丰富自然语言的表达,我们应重视形式语言。B.正如显微镜下显示的信息最终还是要通过肉眼观察一样,形式语言表达的内容最终也要通过自然语言来实验,说明自然语言更基础。C.科学理论如果仅用形式语言表达,很难被普通民众理解,同样,如果仅用自然语言表达有可能变得长且很难表达准确。D.科学的发展很大程度上改善了普通民众的日常生活,但人们并没有意识到科学表达的基础以及形式语言的重要性。E.采用哪种语言其实不重要,关键在于事都表达了真正想表达的思想内容。

一个文法能用有穷多个规则描述无穷的符号串集合(语言)是因为文法中存在有()定义的规则。

每个非终结符产生的终结符号串都是该语言的子集。

一个文法G={N,T,P,S},其中N是非终结符号的集合,T是终结符号的集合,P是产生式集合,S是开始符号,令集合V=N∪T,那么G所描述的语言是()的集合。A、由S推导出的所有符号串B、由S推导出的所有终结符号串C、V中所有符号组成的符号串D、V的闭包中的所有符号串

多选题形式语言的三种主要类型:肖似型符号、指示型符号和()A隐喻型符号B象征性符号C装饰型符号D结构性符号

单选题形式语言的三种主要类型是:肖似型符号、指示型符号和()A隐喻性符号B象征性符号C装饰性符号D结构性符号

单选题文法 G 所描述的语言是()的集合。A文法G的字母表V中所有符号组成的符号串B文法G的字母表V的闭包V*中的所有符号串C由文法的开始符号推出的所有终极符串D由文法的开始符号推出的所有符号串

单选题一个文法G={N,T,P,S},其中N是非终结符号的集合,T是终结符号的集合,P是产生式集合,S是开始符号,令集合V=N∪T,那么G所描述的语言是()的集合。A由S推导出的所有符号串B由S推导出的所有终结符号串CV中所有符号组成的符号串DV的闭包中的所有符号串

单选题形式语言可以分为肖似型符号、象征符号和()A类似型符号B指示型符号C隐喻型符号D指引型符号

填空题一个文法能用有穷多个规则描述无穷的符号串集合(语言)是因为文法中存在有()定义的规则。

判断题每个非终结符产生的终结符号串都是该语言的子集。A对B错