文法和形式语言.pptx
胜利****实阿
亲,该文档总共93页,到这已经超出免费预览范围,如果喜欢就直接下载吧~
相关资料
文法和形式语言.pptx
第二章文法和形式语言23456789101112131415161718192021222324252627282930313233343536373839404142434445464748495051525354555657585960616263646566676869707172737475767778798081828384858687888990919293
文法和形式语言.ppt
(二)文法和形式语言一、程序设计语言与形式语言3。形式化方法与形式化语言形式化方法:使用一整套有严格规定的符号体系来描述问题的理论和方法。形式化语言:一种不考虑含义的符号语言。形式化语言理论主要研究组成这种符号串的集合、它们的表示方法、结构及特性。形式化语言只涉及符号的结构方式上的规定,不涉及符号的含义。二、基本概念2.符号串的运算符号串相等:符号串x,y,如果两者诸符号依次相等,则两符号相等。符号串的长度:符号串中包含符号的个数。|abc|=3;||=0;符号串的连结:x,y是字母表上的两个字符串,把
形式语言与自动机课件——上下文无关文法.ppt
§4.2上下文无关文法的变换生成式的标准形式变换算法--消去无用符号计算生成符号(generatingsymbol)集计算生成符号集步骤:(1)N0=(赋为)N0为有用的非终结符集(2)N’={A|A→ω且ω∈T*}N’为非终结符集合(3)如果N0≠N’则转(4),否则转(6)(4)N0=N’(5)N’=N0∪{A|A→α且α∈(T∪N0)*},转(3)(6)N1=N’小结:算法1找出能推出终结符串的非终结符作为有用符号.一层层向外扩展,直至最外两层相等为止。所得集合即是算法1的有用符号。计算可达符号
形式语言与自动机文法的一般理论(课堂PPT).ppt
形式语言与自动机(FormalLanguagesandAutomata)2.1问题的提出2.2形式文法与形式语言2.3文法的乔姆斯基分类2.1问题的提出BNF(Backus-NaurForm)问题的提出语法树(分析树,ParserTree)问题的提出2.2形式文法与形式语言文法表示方法的约定字符串的推导与归约字符串的推导与规约形式文法与形式语言文法语言文法语言文法语言文法语言语言文法语言文法文法等价2.3文法的乔姆斯基分类文法的乔姆斯基分类右线性文法右线性文法右线性文法右线性文法右线性文法右线
形式语言与自动机--文法的一般理论ppt课件.ppt
形式语言与自动机(FormalLanguagesandAutomata)2.1问题的提出2.2形式文法与形式语言2.3文法的乔姆斯基分类2.1问题的提出BNF(Backus-NaurForm)问题的提出语法树(分析树,ParserTree)问题的提出2.2形式文法与形式语言文法表示方法的约定字符串的推导与归约字符串的推导与规约形式文法与形式语言文法语言文法语言文法语言文法语言语言文法语言文法文法等价2.3文法的乔姆斯基分类文法的乔姆斯基分类右线性文法右线性文法右线性文法右线性文法右线性文法右线