計算の理論i－講義についてー.pptVIP

計算の理論 II文脈自由文法とプッシュダウンオートマトン 月曜4校時 大月美佳 講義の前に 前回の失敗：消し忘れ? 最小化の変化 全て同値になる 全状態が最終状態だから q0≡q1, q0≡q2 , q0≡q3 , q0≡q4 , q2≡q3 , q2≡q4 , q3≡q4 よって求めるDFAは、 M=(Q, Σ, δ, q0, F) Q={q0}、Σ={0, 1}、δ(q0, 0)=q0, δ(q0, 0)=q0 F={q0} 今日の講義内容 文脈自由文法 定義 文脈自由言語（クラスCFL） 構文木と最左導出 プッシュダウンオートマトン 構成と定義 計算状況（動作、ε動作） 決定性、非決定性 文脈自由文法の定義 文脈自由文法(context-free grammar) 非終端アルファベットN （有限集合） 要素 x ∈N 非終端記号(non-terminal symbol) 終端アルファベットΣ （有限集合） 要素 x ∈ Σ 終端記号(terminal symbol) 開始記号(start symbol) S∈Q 生成規則(production) P?N×(N∪Σ)* A→αと書く (α=εのときε生成規則) A→α1|…| αn = A→α1,…, A→αn → G = (N, Σ, P, S) 文脈自由文法の例 G=(N, Σ, P, S)を N={S}, Σ={a, b}, P={S→ab, S→aSb} とするとき、Gは文脈自由文法 G=(N, Σ, P, S)を N={S, A, B}, Σ={x, 0, 1}, P={S→xA, A→0|1B, B→ε|0B|1B} とするとき、Gは文脈自由文法 ?G G=(N, Σ, P, S)に対して、V=N∪Nとする。 u, vが次の(1), (2)を満たすときu?Gvと書くことにする。 u=xAy, v=xαy (x, y, α∈V*, A∈N)。 A→αはGの生成規則。 導出(derive) ?G ?Gの反射的かつ推移的閉包 V*の要素の列w0, …, wnが w0?Gw1?G …?Gwn となっているとき、 w0からwnが導出されるといい、 w0 ?Gwn　または w0 ?Gwn と書く。(Gは省略可: ?、?、?) 文脈自由言語(context-free language) Gの生成する語w 開始記号Sより 終端アルファベットΣ上の記号列wが Gの生成規則によって導出されるとき Σ上の言語L∈Σ*に対して GがLを生成する： L=L(G)となるとき。 文脈自由言語: Lを生成する文脈自由文法が存在する。 文脈自由言語の例 その1 Gを例1の文脈自由文法としたとき、 S?aSb?aaSbb?…?an-1Sbn-1?anbn となり、 L(G)={anbn |n≧1} である。 Gを例2の文脈自由文法としたとき、 S?xA?x0 S?xA?x1B?x10B?x10 となり、 L(G)={xu|u=1v, v∈{0, 1}*またはu=0} 文脈自由言語の例 その2 G=(N, Σ, P, S)を N={S}, Σ={), (}, P={S→SS, S→(S), S→()} とすると、言語L(G)はかっこの入れ子構造 G=(N, Σ, P, S)を N={S}, Σ={0, 1, Φ, +, *, ), (}, P={S→Φ|0|1|(S+S)|SS|S*} とすると、言語L(G)は{0, 1}上の正規表現全体 文脈自由文法のクラス 文脈自由文法のクラスをCFLと書く CFL ={L|L=L(G)となる文脈自由文法Gがある} 構文木(parse tree) 文脈自由文法G=(N, Σ, P, S)に対して、構文木を帰納的に定義する。 ここで、V=N∪Σとする。 構文木の定義(1) 各A∈Vに対して、記号Aをラベルとする1つの頂点のみからなる木 は構文木である。 構文木の定義(2) A→εに対して、 は構文木である。 構文木の定義(3) T1, …Tnを根のラベルが、A1, …, An∈Vである構文木とする。Gの生成規則A→A1…Anに対して、Aを根とする木 は構文木である。 構文木の定義(4) (4) 上の(1)～(3)の規則を使って定義される有限の木のみを構文木という。 構文木の例 G=(N, Σ, P, S)を N={S}, Σ={a, b}, P={S→ab, S→aSb} としたとき、構文木は右図。 最左導出(leftmost derivation) 導出u?vの各ステップにおいて一番左にある非終端記号が置き換えられているとき、その導出は最左導出である。 G=(N, Σ, P, S)を N={S}, Σ={),