基于数学归纳法的文法与文法产生语言教学方法研究-国防科技大学.pdf

基于数学归纳法的基于数学归纳法的文法与文法文法与文法 产生语言教学方法研究产生语言教学方法研究 李梦君，周会平，王挺 国防科学技术大学计算机学院国防科学技术大学计算机学院 主要内容主要内容 一一..引言引言 二.根据文法写出产生语言 三三.. 根据产生语言写出文法根据产生语言写出文法 一一.引言引言 文法文法及相关知识是编译原理课程的及相关知识是编译原理课程的重要教重要教 学内容，其中： (1)根据已知的正规文法或者上下文无关 文法写出它们产生的语言文法写出它们产生的语言;; (2)根据已知的正规语言或者上下文无关 无关语言无关语言，，写出产生它们的正规文法或者写出产生它们的正规文法或者 上下文无关文法; 是两个主要的是两个主要的教学难点教学难点，，尤其是后者尤其是后者上下上下 文无关文法。 一一.引言引言 在学生的高中学习阶段在学生的高中学习阶段，，数学归纳法数学归纳法及其及其 证明就已经得到过系统的学习和训练. 对文法与文法产生语言基于数学归纳法的对文法与文法产生语言基于数学归纳法的 教学方法进行了研究. 二二.根据文法写出产生语言根据文法写出产生语言 根据文法写出文法产生语言的基本方法根据文法写出文法产生语言的基本方法:: 对文法非终极符号派生出字的派生步数 使用数学归纳法使用数学归纳法。。 二二.根据文法写出产生语言根据文法写出产生语言 例1：设G ={S},{a,b,*},P,S,其中P 由以下 1 产生式构成产生式构成：： SS→aSSa SS→bSbbSb SS→* 二二.根据文法写出产生语言根据文法写出产生语言 例2：设G ={S,A,B},{a,b},P,S,其中P 由以 2 下产生式构成下产生式构成：： S→bA S→aB A→a B→b A→aS B→bS A→bAA B→aBB 三三.根据产生语言写出文法根据产生语言写出文法 根据产生语言写出文法的基本方法: 对产生语言中的对产生语言中的字的字长字的字长使用使用数学归纳数学归纳 法 三三.根据产生语言写出文法根据产生语言写出文法 例3：写出产生语言 n n L ={a b | n≥1} 3 的上下文无关文法的上下文无关文法。。 三三.根据产生语言写出文法根据产生语言写出文法 例4：写出产生语言 L ={x|x的任何前缀中a的个数至少 4 与与bb 的个数相等的个数相等}} 的上下文无关文法。 结语结语 在掌握基本方法的基础上, 需要在更多的 实践练习实践练习中中，， ““大胆假设大胆假设，，小心求证小心求证””，， 以取得更好的学习效果。 谢谢谢谢