01定義されたスキーマコンパイラ技術(第IV章の解析)文法や構文
1、基本的な考え方
1)字句規則:何が合法か違法です
アルファベット:言語は文字セットを使用できます
用語解説:文字の有限列(文字列)
識別子:関数名、変数名など
2)文法の規則:
文:「語彙の順序」
の形で文の合法性を判断するには
文の構造を提供する:(式)文else文の場合
3)文法は、言いました:
(1)自然言語記述
(2)形式的記述(BNF)
(3)遷移図(図構文)
2、正式な説明
ターミネーター、非終端生産
1)定義
2)産生を示し
3)生産の規則
(1)非終端記号は、大文字で示されます
(2)開始記号、一つだけ、生産の左側の最初のシンボル
文法の4)表現
文法の5)分類
(1)0文法(無制限文法)を入力
(2)1文法(文脈依存文法)を入力
(3)2文法(文脈自由文法)を入力
(4)3文法(正規文法、線形の文法)を入力
6)導出とプロトコル
(1)の文章から、抽象から具象へ、左から右へ生産を置き換えるために、文章にします
(2)の文章から、文章にするの生産を置き換えるために、コンクリートから抽象へ、左から右へ
7)文と文
文:開始記号任意の記号列から派生
文:のみターミネータからなる文、唯一の文とターミネータ
文法Gによって生成される言語8)
すべての文のセットのG、表記L(G)
図3に示すように、導出木(構文木)
図センテンス(文)の導出を表示します
逆ツリー
- 根の上に、次の葉
- 「ルート」のシンボルを開始
導出ツリーの概要