根据乔姆斯基于20世纪50年代建立的形式语言的理论体系,语言的文法被分为 4种类型,即0型(短语文法),1型(上下有关文法)、2型(上F文无关文法)和3型(正规文法)。其中,2型文法与 (56) 等价,所以有足够的能力描述多数现今程序设计的语言的句法结构。一个非确定的有限自动机必存在一个与之等价 (57) 。从文法描述语言的能力来说, (58) 最强, (59) 最弱,山4类文法的定义可知: (60) 必是2型文法。
(56)处填()。
在形式语言中,文法G是一个四元组G=(VN,Vr,P,Z),其中VN为 (1) 。若文法C的产生式集P为:
(1)Z→Bc (2)Z→Zc (3)B→Ab (4)B→Bb (5)A→Aa (6)A→a
则文法G是 (2) 文法,识别G的自动机为 (3) 。对于G来说, (4) 为文法G可接受的字符串, (5) 为文法G不可接受的字符串。
供选择的答案:
根据乔姆斯基20世纪50年代建立的形式语言的理论体系,语言的文法被分为四种类型,即:0型(上下文有关文法)、1型(上下文相关文法)、2型(上下文无关文法)和3型(正规文法)。其中2型文法与(3)等价,所以有足够的能力描述多数现今程序设计的语言的句法结构。一个非确定的有限自动机必存在一个与之等价(4)。从文法描述语言的能力来说,(5)最强,(6)最弱,由四类文法的定义可知:(7)必是2型文法。
(3)处填()。
在形式语言中,若文法G的产生式集P为:
(1)Z→Bc(2)Z→Zc(3)B→Ab(4)B→Bb(5)A→Aa(6)A→a
则文法G是 (1) 文法,识别G的自动机为 (2) 。对于G来说, (3) 为文法G可接受的字符串, (4) 为文法G不可接受的字符串。
供选择的答案:
我来回答: