形式语言的基本知识课件.pptxVIP

形式语言的基本知识*2.1　字母表和符号串符号就是字符，对吗？不对如?={if,else,for,while}字母表：符号的非空有限集 例：?={0，1} C语言的字母表 A＝{a,b,…,0,1,…,9, +,－,×,_/, ( , ), =… if, else,for...}符号：字母表中的元素 例： 0，1符号串：由字母表中的符号组成的任何有穷序列 例：0,1, 01, 10, 011，..空符号串：无任何符号的符号串，用ε表示 *符号串的前缀和后缀: 从符号串s的尾部删去若干个(包括0个)符号之后所余下的部分称为s的前缀ε，0，01及011都是符号串011的前缀ε，1，11及011都是符号串011的后缀符号串集合：若集合A中的一切元素都是某字母表上的符号串，则称A为该字母表上的符号串集合。例：?={a，b，c} A={ a,aa,ac}*符号串的运算符号串的连接运算符号串x和y的连接:是把y的符号写在x的符号之后得到的符号串xy 例如x=00，y=11，则xy=0011对于任意一个符号串s，有εs= sε=s *符号串的幂运算符号串自身连接n次得到的符号串sn 定义为 ss…ss ，包括n个s，称为符号串的幂运算 s0=ε，s1=s，s2=ss，……设s=01，则s0=εs1=01s2=0101…… *符号串集合的乘积设A、B为符号串集合，则A和B的乘积定义为：AB＝{ xy |x∈A,y∈B}例如，A＝{a,b}，B={c,d}则AB={ac,ad,bc,bd} *符号串集合的幂运算有符号串集合A，定义A0 ={ε}, A1=A, A2=AA, A3=AAA,…… An＝An-1A=AAn-1 ，n0例如，A＝{0,1}，则A0=A1=A2=A3={ε}{0,1}{00,01,10,11}{000,001,010,011,100,101,110,111}*符号串集合的闭包运算设A是符号串集合，定义 A＋＝ A1 ∪ A2 ∪ A3 ∪……∪ An ∪…… 称为集合A的正闭包。 A*＝ A0 ∪A＋ 称为集合A的闭包。例：A={x,y} A＋＝？ A*＝ ？{x,y, xx,xy,yx,yy , xxx,xxy,xyx,xyy, ……} A1 A2 A3{ε, x,y, xx,xy,yx,yy , xxx,xxy,xyx,xyy, ……} A0A1 A2 A3*Σ的闭包?*表示?上的一切符号串（包括ε）组成的集合Σ的正闭包?+表示?上的除ε外的所有符号串组成的集合例：Σ={a,b} Σ*={ε,a,b,aa,ab,ba,bb,aaa,aab,…} Σ+={a,b,aa,ab,ba,bb,aaa,aab,…}*为什么对符号、符号串、符号串集合以及它们的运算感兴趣？若A为某语言的字母表 A＝{a,b,…,0,1,…,9, +,－,×,_/, ( , ), =… if, else,for...}B为单词集 B ={if, else,for,……,标识符,常量,……} 则B ? A* 。语言的句子是定义在B上的符号串。若令C为句子集合，则C ? 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　文法和语言的形式定义 文法是对语言结构的定义与描述。（或称为“语法”）。赋值语句::=标识符“=”表达式表达式::=表达式“+”表达式 | 表达式“*”表达式表达式::=“(”表达式“)” | 标识符 | 整数 | 实数 *y = x + r * 6赋值语句标识符表达式=y+表达式表达式标识符表达式表达式*x标识符整数r6*文法的非形式定义 例：有一句子：“我是大学生” 。这是一个在语法、语义上都正确定句子，该句子的结构（称为语法结构）是由它的语法决定的 。在本例中它为“主谓结构”。如何定义句子的合法性？有穷语言：只需逐一列举句子无穷语言：使用文法定义句子的结构，用适当条数的规　则把语言的全部句子描述出来。文法是以有穷的集 合刻划无穷的集合的工具。* 1.语法规则：我们通过建立一组规则，来描述句子的语法结构。规定用“::=”表示“由……组成”。 文法的BNF表示句子::=主语谓语主语::=代词|名词代词 ::=你|我|他名词::= 王民|大学生|工人|英