句構造文法とは？ わかりやすく解説

出典: フリー百科事典『ウィキペディア（Wikipedia）』 (2017/01/15 13:46 UTC 版)

「終端記号と非終端記号」の記事における「句構造文法」の解説

詳細は「句構造文法」を参照 以下、単に「集合」とあるものは全て有限集合である。この理論では文法は一般に、記号列を別の記号列に置換できるものとして定義する生成規則の集合によって定義される。これらの生成規則は、文字列の生成やパースに使われる。それぞれの生成規則は、置換される記号列からなる ヘッド （左辺）と、置換する記号列からなる ボディ （右辺）を持つ。規則は、ヘッド → ボディ のような形に書く。例えば、規則 z0 → z1 は、z0 を z1 で置き換えることを表す。 1950年代に ノーム・チョムスキー によって提案された生成文法の古典的な形式では、文法 G は次のように構成される： 非終端記号 の集合 N {\displaystyle N} 終端記号(アルファベット) の集合 Σ {\displaystyle \Sigma } 生成規則 の集合 P {\displaystyle P} 。 P {\displaystyle P} の要素であるそれぞれの規則は次のような形をしている： ( Σ ∪ N ) ∗ n ( Σ ∪ N ) ∗ → ( Σ ∪ N ) ∗ {\displaystyle (\Sigma \cup N)^{*}n(\Sigma \cup N)^{*}\rightarrow (\Sigma \cup N)^{*}} ここで n ∈ N {\displaystyle n\in N} ここで ∗ {\displaystyle {}^{*}} は クリーネのスター（つまり、0個以上の並びを意味する）、 ∪ {\displaystyle \cup } は和集合を表し、よって ( Σ ∪ N ) ∗ {\displaystyle (\Sigma \cup N)^{*}} は0個以上の記号の並びを表す。つまり、左辺は少なくとも1つの非終端記号を含む。右辺が空列の場合は、誤解を避けるために Λ {\displaystyle \Lambda } , e {\displaystyle e} , ϵ {\displaystyle \epsilon } のような記号を使うことがある。 開始記号 s ∈ N {\displaystyle s\in N} 以上からなる4つ組 < N , Σ , P , s> {\displaystyle } として、言語が形式的に定義される。

※この「句構造文法」の解説は、「終端記号と非終端記号」の解説の一部です。
「句構造文法」を含む「終端記号と非終端記号」の記事については、「終端記号と非終端記号」の概要を参照ください。