软考高级系统分析师模拟练习题和答案(一).docxVIP

软考系统分析师 /rk/rjsp/index.html 软考高级系统分析师模拟练习题及答案（一） 在形式语言中，方法G是一个四元组G=(VN，Vr，P，Z),其中VN为(1)。若方法G的产生式集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不可接受的字符串。 　　(1) 　　A.状态标志符 　　B.开始符 　　C.语句集 　　D.非终结符集合 　　(2) 　　A.短语 　　B.上下文有关 　　C.上下文无关 　　D.正则 　　(3) 　　A.图灵机 　　B.下推自动机 　　C.有穷状态自动机 　　D.线性界限自动机 　　(4) 　　A.aaabc 　　B.acbb 　　C.acbcab 　　D.acbbca 　　(5) 　　A.abbcc 　　B.acbc 　　C.aaabc D.aabbccc 答案：1—5　D，D，C，A，B　 解析：形式语言首先于1956年由Chomsky进行描述。该理论讨论了语言与文法的数学理论，按照对文法规则的不同定义形式，对语言和文法进行了分类。一般来说，Chomsky文法是一个四元组G=(VN,Vr,P,Z),其中VN为非终结符集合，Vr为由终结符组成的