形式语言是进行形式化工作的元语言，它是以数学和数理逻辑为基础的科学语言。形式语言的基本特点有：有一组初始的、专门的符号集；有一组精确定义的，由初始的、专门的符号组成的符号串转换成另一个符号串的规则。在形式语言中，不允许出现根据形成规则无法确定的符号串。例子:语言Y定义为：初始符号集：{a，b，c，d，e，（，)，+，-，´，¸}。形成规则：上述符号组成的有限符号串中，凡以符号“（”开头且以“）”结尾的符号串都是公式。则语言Y是一种形式语言。（）
形式语言是进行形式化工作的元语言，它是以数学和数理逻辑为基础的科学语言。形式语言的基本特点有：有一组初始的、专门的符号集；有一组精确定义的，由初始的、专门的符号组成的符号串转换成另一个符号串的规则。在形式语言中，不允许出现根据形成规则无法确定的符号串。例子:语言Y定义为：初始符号集：{a，b，c，d，e，（，)，+，-，´，¸}。形成规则：上述符号组成的有限符号串中，凡以符号“（”开头且以“）”结尾的符号串都是公式。则语言Y是一种形式语言。（）
参考答案和解析
数学;数理逻辑
相关考题：
●已知文法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.由文法的识别符号推出的所有终结符号串
已知文法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．空集合
N后置编码：指按照下列规则对一个符号串进行处理得到一个新符号串，N表示一个数字。（1）确认初始符号串中每个符号的顺序位置；（2）将初始符号串的第一个符号跳过其后面的一个符号放置，得到一个新符号串；（3）在新符号串中，将初始符号串的第二个符号跳过其后面的两个符号放置，······，依此类推，直到将初始符号串的第N个符号跳过其后面N个符号放置（数到最后一个符号再接着从头数起）。初始符号串的“4后置编码”是
一个文法G＝{N，T，P，S}，其中N是非终结符号的集合，T是终结符号的集合，P是产生式集合，S是开始符号，令集合V＝N∪T，那么G所描述的语言是（）的集合。A、由S推导出的所有符号串B、由S推导出的所有终结符号串C、V中所有符号组成的符号串D、V的闭包中的所有符号串
单选题文法 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错