10学习指导与习题解答-9.doc

语言和有限状态机 §9.1 基本要求 掌握语法结构、语言、演绎、演绎树的概念，能识别语法结构的分类，能写出一个语法的Backus-Naur form。 掌握带有输出的有限状态机的定义，能够使用状态图和状态表表示带有输出的有限状态机。 会求串联、kleene闭包，掌握没有输出的有限状态机（有限状态自动机）的概念，了解非确定的有限状态机，知道能被一个非确定的有限状态自动机是别的语言也可以被一个确定的有限状态自动机识别。 掌握正则表达式和正则集合的概念，了解KLEENE定理。知道一个集合是由一个正则语法产生的当且仅当它是正则集合。了解其他种类的有限状态机。 掌握Turing机的概念，知道Turing机如何识别一个符号串。 §9.2 主要解题方法 9.2.1 语法结构与语言的关系 1．使用语法中所有的可能使用的产生式，将从S演绎出来的符号串求出来，或者将这样的符号串的规律找出来。这样就求出了一个语法所产生的语言。 例9.2.1 设G是一个语法结构，字母表为V={S，A，a，b}，终止符集合T={a，b}，初始符号为S，产生式P={S→aA，S→b，A→aa}，这个语法的语言L（G）是什么？ 解：用产生式S→aA可以从初始状态S演绎出aA，用产生式S→b可以演绎出b，用产生式A→aa从aA可以演绎出aaa，没有任何其它的词可以被演绎出来了，所以L（G）={b，aaa}。 例9.2.2 设G是一个语法结构，字母表为V={S，0，1}，终止符集合T={0，1}，初始符号为S，产生式P={S→11S，S→0}，这个语法的语言L（G）是什么？ 解：用产生式S→0可以从初始状态S演绎出0，用产生式S→11S可以演绎出11S，从11S可以演绎出110或者1111S，从1111S可以演绎出11110和111111S。在演绎的过程中，我们或者在S前加两个1，或者把S替换成0而结束演绎。所以L（G）={0，110，11110，1111110，…}，这个集合中的符号串都是以偶数个1开头，然后由一个0结束。 2．给出一个语言，可以根据此语言的规律构造产生这个语言的语法结构。同一个语言可以有多个语法结构来产生。 例9.2.3 给出一个语法结构，可以产生集合{0m1n|m和n是非负整数}。 解：我们将给出两个产生这个集合的语法G1，G2，这说明两个不同的语法可以产生同一个语言。 语法G1的字母表是V={S，0，1}，终止符集合T={0，1}，产生式为S→0S，S→S1，和S→λ。这个语法就能产生我们要求的集合，因为用第一个产生式m次就可以把m个0放在串的前面，用第二个产生式n次就可以把n个1放在串的后面。 语法G2的字母表是V={S，A，0，1}，终止符集合T={0，1}，产生式为S→0S，S→1A，S→1，A→1A，A→1和S→λ。这个语法也能产生我们要求的集合。 9.2.2 根据语法结构产生式的特点来判断语法结构的类型 根据下面的表格就可以判断语法结构的类型。 语法的类型 类型 对于产生式的限制w1→w2 0 1 2 3 没有任何限制 w1的长度小于等于w2长度，或者w2=λ w1=A，A是非终止符。 S→λ，或者w1=A并且w2=aB或者w2=a，其中A，B是非终止符。 例9.2.4 设语法是G=（V，T，S，P），其中，V={0，1，S，A}，T={0，1}，S是初始符，产生式为S→0S1A；S→λ；A→1A；11A→0。 则这个语法是0型语法。 例9.2.5 设语法是G=（V，T，S，P），其中V={0，1，2，S，A，B}，T={0，1，2}，初始状态是S，产生式是S→0SAB，S→λ，BA→AB，0A→01，1A→11，1B→12，2B→22。 则这个语法是上下文有关的语法（1型语法）。 例9.2.6 设语法是G=（V，T，S，P），其中，V={0，1，S}，T={0，1}，S是初始符，产生式为S→0S1；S→λ。 则这个语法是上下文无关的语法（2型语法）。 例9.2.7 设语法是G=（V，T，S，P），其中，V={S，A，0，1}，终止符集合T={0，1}，产生式为S→0S，S→1A，S→1，A→1A，A→1和S→λ。 则这个语法是正则语法（3型语法）。 9.2.3 求演绎树以及判断一个词是否属于一个语法产生的语言 一个由上下文无关语法产生语言的演绎可以用一个有序的根树来表示，一个这样的演绎就对应一个有跟树。 例9.2.8 给出书中例子中关于a hungry mathematician eats wildly的演绎的演绎树。 判断一个符号串是否在一个由上下文无关语法产生的语言中，我们有两种解决办法。第一种方法是自顶向下分析，从S开始，试图使用一系列的产生式来演绎出要判断的词；第二种方法称为自底向上的分析，在这种方法中，过程正好相