程式语言语法.pptVIP

第二章 程式語言的語法 陳維魁 博士 wkchen@.tw 儒林圖書公司 大綱 基本定義 文法四要素 文法的分類 正規文法分類 B.N.F. 文法 剖析樹 模擬兩可的文法 懸置else問題 描述程式語言語法的方式 語意的描述 精選習題 基本定義 字元集 一組有限符號的集合稱之為字元 集 字元集有二類 ASCII Code Set EBCDIC Code Set ascii table 基本定義 ASCII Code Set American Standard Code for Information Interchange 的縮寫 標準的 ASCII Code 有7個位元 可表示 27 = 128 種不同的字元 一般使用在 IBM PC 及Apple II上 現今使用的 ASCII Code 已經擴充為8個位 元，稱之為 ASCII-8 基本定義 EBCDIC Code Set Extended Binary Code Decimal Interchange Code 的縮寫 標準的EBCDIC Code有8個位元 可表示 28=256 種不同的字元 一般使用在IBM 360及FACOM機器上 基本定義 字串(String) 定義 S=t1t2...tn， ti ? T 其中 T 為字元集 S 是由 T 中的字元所組成的一串列 n=4 則 S 可能為 abcd，ABCD，AEFG 等等 字串的長度 設 S=t1t2...tn則 S 的長度可表為│S│=n S 的長度為 n 基本定義 字串的連接 設 p 與 q 為二字串且 p=m1m2…mu ，q=n1n2…nv p?q=m1m2...mun1n2...nv 表示二字串的連接且│p?q│=u+v p?q 字串的長度為 u+v 基本定義 空字串 通常以 “ε” 表示空字串，且│ε│=0， 有時空字串也可以 “?”表示 基本定義 T＊ 由 T 中的字元所組成任意長度 的字串的集合 實例 假設 T={p，q} 則Ｔ＊ ={ε，p，q，pp，qq，pq，qp，pppp...} 基本定義 語言 (Language) 若 L 為一語言，則 L 是Ｔ＊ 的一組子集合(subset) 實例 假設 T={p，q} 則 L 可為 {p，pq，qp，...}或 {ppp，qqq，pqp，qpq，...} 等等 只要是Ｔ＊ 的子集合即可 基本定義 語言的乘積(product) L1 與 L2 的乘積 L1?L2={a?b│a ? L1，b ? L2} 範例 L1={p，q}　L2={m，n，mn，nm} L1?L2={pm，pn，pmn，pnm，qm，qn， qmn，qnm} 基本定義 語言 L 的次方 (Power) 定義 Lo={ε}　Ln=L?Ln-1 範例 假設 L={p，pq，q} L0={ε} ， L1=L，L2=L?L，…. 基本定義 L*的定義 L* 又稱“Kleene Closure of L” L 做任意次乘積(product) 的集合 L*=L0?L1?L2?...?Ln?... 基本定義 L+ 的定義 又稱為“Transitive Closure of L” L+=L1?L2?L3?...?Ln?... 文法四要素 T 終端符號 表示不能再以其他符號來替代 N 非終端符號 表示可以再以其他符號來替代 而N與T須具以下的關係：N∩T=? 文法四要素 S starting symbol 起始符號 從事文法推演之步驟由S開始 P production rule 文法產生規則 文法的分類 Type 0 無任何限制 Type 1 Context sensitive grammar Type 2 Context free grammar Type 3 正規文法 (regular grammar) 正規文法分類 右線性正規文法 right linear regular grammar 文法產生規需滿足 Au?B or A ? u，其中 A,B?N，u ? T 左線性正規文法 left linear regular grammar 文法產生規則需滿足 uA?B or A ? u，其中 A,B?N，u ? T B.N.F. 文法 B.N.F. grammar Backus Naur Form grammar type 2 grammar context-free grammar B.N.F.文法符號 “::=” 表示“定義為” “{}” 表示出現0次,1次,... “〔〕” 表示出現0次或1次 “∣” 表示“OR” ” ” 表示非終端符號 範例 Using the following B.N.F. grammar to cons