文法和语言的形式定义.PDFVIP

文法和语言的形式定义 Program  BEGIN Stmt-List END Stmt-List  Stmt-List Stmt | Stmt Stmt  Assign-stmt 文法G Assign-stmt  ID = Expr; 一组非终结符 Expr  Expr Op Expr 一组终结符 | ID 一个开始符号 | NUM 一组产生式 Op  + | -  文法 Grammar (a) 文法的形式定义: G = (V ，V ，P，S) 开始符号 T N 产生式集合 非终结符号集合 终结符号集合 VN ∩VT = Ø V: 文法符号的集合 (文法G的字母表 ) V = VN ∪VT 文法举例 文法G = (V ，V ，P，S)， N T VN = { S }， VT = { 0，1}， P = { S→0S1，S→01 } • 产生式可以递归  产生式左部的符号可以在右部出现 文法举例… 文法G = (V ，V ，P，S) , S = 〈标识符〉 N T VN = {标识符，字母，数字}，VT = {a,b,c,…，x,y,z,0,1, …，9} P = { 〈标识符〉→ 〈字母〉 〈标识符〉→ 〈标识符〉〈字母〉 〈标识符〉→ 〈标识符〉〈数字〉 〈字母〉→a 〈字母〉→b … 〈字母〉→z 〈数字〉→0 〈数字〉→1 … 〈数字〉→9 } 文法的写法 约定 • VN – A, B, C … ; 表达式 , 程序 • VT – a, b, c, … ; 1, 2, 3, … • V* – , ,  … 文法的写法 G G[S] S→aAb A→ab A→ab A→aAb A→aAb