第3章「文脈自由言語」-www.pptVIP

第3章「文脈自由言語」 3.1 文脈自由文法 3.2 プッシュダウンオートマトン 3.3 文脈自由文法とプッシュダウンオートマトン 3.4 正規文法と有限オートマトン 3.5 文脈自由文法の性質 3.6 決定性プッシュダウンオートマトン 形式言語と自然言語 3.1 文脈自由文法 定義 文脈自由文法とは４つ組 G = (N, Σ, P, S)によって定義される。 N: 空でない有限集合。Nの要素を非終端記号という。Σ: 空でない有限集合。Σの要素を終端記号という。S: S∈Nで開始記号という。P: P は N×(N∪Σ)* の有限部分集合。 P の要素 (A, α) は生成規則とよばれ、A→α と書かれる。 α=εのとき ε生成規則という。 非終端記号A を生成規則の左側にもつ P の要素をA →α1, …, A→αn とするとき、これらをまとめてA →α1| …|αn と書くこともある。 　文脈自由文法の例 例3.1 (例3.3) G=(N, Σ, P, S) N = {S} Σ= {a, b} P = {S → ab, S → aSb} 例3.2 (例3.4) G=(N, Σ, P, S) N = {S, A, B} Σ= {x, 0, 1} P = {S → xA, A → 0|1B, B → ε|0B|1B} 　語の導出 導出の定義 V = N∪Σとする。記号列 u,v∈V* が次を満たすとき u?Gv とかく。 (1) u = xAy, v = xαy (x, y,α∈V*, A∈N) (2) A →α は G の生成規則 ?G の反射的推移閉包を ?G とかく。 導出の長さが n の場合、?G とかく。 V* の要素の列 w0, …, wn について、 w0 ?G w1 ?G ??? ?G wn のとき、w0 から wn が導出されるという。 　Gが生成する語、言語 開始記号Sより w∈Σ* が G の生成規則によって導出されるとき、w は G の生成する語とよばれる。また G の生成する言語を L(G) = { w∈Σ* | S?G w}と書く。 言語 L?Σ* に対して L = L(G) となるとき、G は L を生成するという。 Σ上の言語 L?S* に対して、L を生成する文脈自由文法が存在するとき、L は文脈自由言語とよばれる。 　文脈自由言語とCFL CFL の定義 文脈自由言語のクラスをCFLと書くことにする。すなわち、CFL = { L | L = L(G) となる文脈自由文法 G がある}と定義する。 　導出の例 例3.5 N = {S,A,B}, Σ= {x, 0, 1, +, ?, ), ( } P = {S → (S +S) | S?S | xA, A →ε| 1B, B →ε|0B|1B|0|1 } 例3.6 N = {S}, Σ= { ), ( } P = {S →SS, S →(S), S →()} 例3.7 N = {S}, Σ= {0,1,φ,+,?,*,),( } P = {S →φ|0|1|(S+S)|(S?S)|S* } 　構文木 定義 構文木は次のように帰納的に定義される。ここで、V = N∪S とする。 (1) 各A∈Vに対して、記号Aをラベルとする １つの頂点のみからなる木 (2) 生成規則 A→εに対して 　構文木（２） 定義つづき (3) T1, …, Tn を根のラベルが A1, …, An∈V である構文木とする。G の生成規則 A→A1…An に対して、Aを根とする木 (4) 上記(1)～(3)の規則を使って定義される 有限の木のみを構文木という。 　構文木の例 例3.8 (例3.1の導出木) 　最左導出 最左導出と左側順走査 導出の各ステップにおいて一番左にある非終端記号が置き換えられているとき、最左導出という。 最左導出 A?u に対する構文木の走査は左側順走査となる。 例3.9 (例3.6の最左導出) 練習： 語 (())(()()) を最左導出する過程は？ 　補題3.1 補題3.1 G=(N,S,P,S)を文脈自由文法とする。導出 u?v があるならば、u から v への最左導出がある。 証明 u = w1A1w2 … wkAkwk+1 (Ai∈N, wj∈Σ*) とする。 3.2 プッシュダウンオートマトン 概念図と基本動作 　プッシュダウンオートマトンの定義 定義 プッシュダウンオートマトン(pda)は７つ組 M=(K, Σ,Γ,δ, q0, Z0, F)によって定義される。 K :　状態とよばれる空でない有限集合。 Σ:　入力アルファベット Γ: