形式语言基础知识.pptVIP

nhkjk 形式语言基础知识 掌握形式语言的特征 掌握形式语言的归纳定义 掌握文法的分类 掌握文法的二义性 2.0 编译的基础知识 自然语言和形式语言 语言是一个记号系统 汉语---符合汉语语法的句子的全体 英语---符合英语语法的句子的全体 程序设计语言---该语言的程序的全体 程序设计语言由语法和语义定义： 语法：定义每个程序构成的规则 语义：定义每个程序的意义 语法 任何语言程序都可以看成是一个字符集（字母表）上的字符串 语法使得这串字符串形成一个形式上正确的程序 语法 ＝ 词法规则 ＋ 语法规则 语法相关概念 单词符号（语言中具有独立意义的最基本结构） 词法规则：正规式和有限状态自动机 语法单位 表达式、子句、句子、函数、过程、程序 语法规则 单词符号－－?语法单位 描述（上下文无关文法） 语言的词法规则和语法规则定义了程序的形式结构 语义 定义单词和语法单位的意义 分类 静态语义：一系列限定规则，确定哪些合乎语法的程序是合适的 动态语义：表明程序要做什么 作用: 检查类型匹配，变量作用域等 2.1 字母表和符号串 2、符号串 定义:由字母表中的符号组成的任何有穷序列 例：0,00,10是字母表∑={0?1}上的符号串 a,ab,aaca是V={a?b,c}上的符号串 符号串是有序的。如: ab和ba不同 不含任何符号的符号串称为空串，用ε表示 注: {ε}并不等于空集合{ } 符号串长度: 符号串中含有符号的个数 如: |abc|=3 | ε|=0 3、符号串的运算 符号串的连接：设x、y是符号串,它们的连接是把y的符号写在 x的符号之后得到的串xy 如： x=ST，y=abu ， 则 xy=STabu 显然εx = xε=x 符号串的方幂：把符号串a自身连接n次得到的符号串an = aa…aa 如 a1=a a2=aa a0=ε 4、符号串集合 定义: 若集合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 符号串集合的方幂: 设A是符号串的集合，则称Ai为符号串集A的方幂，其中i是非负整数 具体定义如下 A0 ={ε } A1 = A , A2 = A A AK = AA...…A (k个) 字母表A的n次方幂是字母表上所有长度文n的串集 5、集合的闭包 闭包 集合Σ的闭包Σ *定义如下： Σ* = Σ0∪Σ1∪Σ2∪Σ3∪… 例：设有字母表Σ={0，1} 则Σ*=Σ0∪Σ1∪Σ2∪… ={ε,0,1,00,01,10,11,000,…} 即Σ*表示Σ上所有有穷长的串的集合 正闭包 Σ+ = Σ1∪Σ2∪Σ3∪…称为Σ的正闭包。 ?+ 表示?上的除ε外的所有用穷长串的集合 Σ* = Σ0∪Σ+ Σ+ = ΣΣ* = Σ* Σ 6、句子 字母表上符合某种规则构成的串 7、语言：字母表上句子的集合 a、b、c --- 符号 α、β、γ --- 符号串 A、B、C--- 符号串的集合（语言、句子） 字母表?上的一个语言是?上符合某种规则的一些符号串的集合 ，是?*的一个子集。 例如： Σ={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}为字母表?上的一个语言。 ?ε?是一个语言。 ?即? ?是一个语言。 2.2 文法的概念 1、相关概念 文法：描述语言分离语法结构的形式规则 〈句子〉－〈主语〉〈谓语〉 〈主语〉－〈形容词〉〈名词〉 〈谓语〉－〈动词〉〈宾语〉 〈宾语〉－〈形容词〉〈名词〉 形容词－Yong | pop 名次－men | music 〈动词〉－ like Yong men like pop music 非终结符：VN 表示一定语法概念的词用表示 终结符：VT 表示语言中不可再分的字符串 开始符号：又称识别符号 表示所定义的语法范畴的非终结符 产生式 用来定义符号串之间关系的一组（语法）规则 推导 从开始符号开始，通过产生式的右部