第三章文法和语言.pptx

第三章 文法和语言;3.1 语言和文法的直观概念 3.2 符号和符号串 3.3 文法和语言的形式定义 3.4 文法的类型 3.5 上下文无关文法及其语法树 3.6 句型的分析 3.7 有关文法实用中的一些说明;3.1 语言和文法的直观概念;程序设计语言包括:语法和语义 语法(syntax) 定义: 是一组规则，用它可以形成和产生一个合适的程序 描述工具:文法 作用: 定义什么样的符号序列是合法的，与符号的含义无关。;语义(semantics) 分类: 静态语义：一系列限定规则，确定哪些合乎语法的程序是合适的 动态语义：表明程序要做什么 描述工具: 指称语义,操作语义等 作用: 检查类型匹配，变量作用域等;文法的直观概念;;例:“我是大学生”是汉语的一个句子 用EBNF来表示汉语句子的构成规则： 〈句子〉∷=〈主语〉〈谓语〉 〈主语〉∷=〈代词〉｜〈名词〉 〈代词〉∷= 我｜你｜他 〈名词〉∷= 王明???大学生｜工人｜英语 〈谓语〉∷=〈动词〉〈直接宾语〉 〈动词〉∷= 是｜学习 〈直接宾语〉∷=〈代词〉｜〈名词〉;由规则推导句子;例如:句子“我是大学生”的推导过程如下： 〈句子〉 ? 〈主语〉〈谓语〉 ? 〈代词〉〈谓语〉 ? 我〈谓语〉  ? 我〈动词〉〈直接宾语〉 ? 我是〈直接宾语〉 ? 我是〈名词〉 ? 我是大学生;文法的作用 严格定义句子的结构，是判断句子结构合法与否的依据 用有穷的规则把无穷的句子集合描述出来;3.2 符号和符号串;符号串 定义:由字母表中的符号组成的任何有穷序列 例： 0,00,10是字母表∑={0?1}上的符号串 a,ab,aaca是Α={a?b,c}上的符号串 在符号串中，符号是有顺序的，顺序不同,代表不同的符号串，如:ab和ba不同 不含任何符号的符号串称为空串，用ε表示 注意:{ε}并不等于空集合{ } 符号串长度: 符号串中含有符号的个数 如: |abc|=3 | ε|=0 ; 符号串的头尾：如果α=xy，那么x是α的头，y是α的尾；如果x是非空的，那么y是α的固有尾，如果y是非空的，那么x是α的固有头 例： β=abc β的头包括： ε，a,ab,abc β的固有头包括： ε，a,ab β的尾包括： ε，c,bc,abc β的固有尾包括： ε，c,bc;符号串的运算 符号串的连接：设β、γ是符号串,它们的连接是把γ的符号写在 β的符号之后得到的符号串βγ 例如 β=ST，γ=abu ，则 βγ=STabu 显然εβ = βε=β 符号串的方幂：把符号串α自身连接n次得到的符号串αn = αα…αα 例如 α1=α α2=αα α0=ε;符号串集合： 定义: 若集合A中所有元素都是某字母表?上的符号串，则称A为字母表?上的符号串集合。 符号串集合的乘积：符号串集合A和B的乘积定义为: AB ={xy|x∈A且y∈B}，即AB是由A中的串x 和B中的串y连接而成的串xy组成的集合。 若集合A = ?ab,cde? B = ?0,1? 则 AB = ?ab0,ab1,cde0,cde1? 显然 {ε}A = A{ε} = A;;集合的闭包 闭包 集合Σ的闭包Σ *定义如下： Σ * = Σ 0∪ Σ1∪ Σ 2∪ Σ 3∪… 例：设有字母表Σ={0，1} 则Σ*=Σ0∪Σ1∪Σ2∪… ={ε,0,1,00,01,10,11,000,…} 即Σ*表示Σ上所有有穷长的串的集合。;; 字母表?上的一个语言是?上的一些符号串的集合 即是?*的一个子集 例如：Σ={a,b} Σ*={ε,a,b,aa,ab,ba,bb,aaa,aab,…} 集合{ab,aabb,aaabbb,…,anbn,…}或 {w|w∈Σ*且w=anbn,n≥1}为字母表?上的一个语言。 集合{a,aa,aaa,…}或{w|w∈Σ*且w=an,n≥1}为字母表?上的一个语言 ?ε?是一个语言 ?即? ?是一个语言。;3.3 文法和语言的形式定义;1．文法的定义;说明: V=VN∪VT，V称为文法G的字母表 P中产生式形如：α→β,其中α∈V+且至少含一个非终结符，β∈V* VN,VT和P是非空有穷集 VN∩VT=φ S是一个非终结符，且至少要在一条产生式的左部出现 非终结符一般代表一个语言中的语法成分，如赋值语句，它是构成程序的一个语法成分，这个符号－赋值语句－本身不会在程序中出现，而终结符及其组成的符号串是会在程序中出现的，如一个具体的赋值语句“i:=x+1”;例1：