構文分析: コンパイラーのトップダウンおよびボトムアップの解析タイプ

構文解析とは何ですか?

構文解析 これは、コンパイラ設計プロセスの第 XNUMX フェーズであり、指定された入力文字列をチェックして、形式文法の規則と構造を確認します。 構文構造を分析し、指定された入力がプログラミング言語の正しい構文にあるかどうかを確認します。

コンパイラ設計プロセスの構文解析は、字句解析フェーズの後に行われます。 これは、解析ツリーまたは構文ツリーとしても知られています。 解析ツリーは、言語の事前定義された文法の助けを借りて開発されています。 構文アナライザーは、特定のプログラムが文脈自由文法によって暗示される規則を満たしているかどうかもチェックします。 それが満たされる場合、パーサーはそのソース プログラムの解析ツリーを作成します。 それ以外の場合は、エラー メッセージが表示されます。

構文解析
構文アナライザーのプロセス

なぜ構文アナライザーが必要なのでしょうか?

  • コードが文法的に有効かどうかを確認する
  • 構文アナライザーはコードにルールを適用するのに役立ちます
  • 各開始中括弧に対応する終了中括弧があることを確認するのに役立ちます。
  • 各宣言には型があり、その型が存在する必要があります。

構文アナライザーの重要な用語

構文解析プロセスで使用される重要な用語:

  • 文: 文は、アルファベット上の文字のグループです。
  • 語彙素: 語彙素は、言語の最低レベルの構文単位です (たとえば、total、start)。
  • トークン: トークンは語彙素の単なるカテゴリです。
  • キーワードと予約語 – ステートメントの構文の固定部分として使用される識別子です。 これは予約語であり、変数名または識別子として使用できません。
  • ノイズワード – ノイズワードはオプションで、文の読みやすさを高めるためにステートメントに挿入されます。
  • コメント – これはドキュメントの非常に重要な部分です。 ほとんどの場合、/* */、または//空白 (スペース) で表示されます。
  • デリミタ – これは、何らかの構文単位の開始または終了をマークする構文要素です。 ステートメントや式、「開始」…「終了」、または {} と同様です。
  • キャラクターセット – ASCII、Unicode
  • 識別子 – 長さの制限により、文章の読みやすさが低下します。
  • 演算子記号 – + と – は XNUMX つの基本的な算術演算を実行します。
  • 言語の構文要素

なぜ解析が必要なのでしょうか?

解析

解析では、入力文字列が整形式であるかどうかもチェックされ、整形式でない場合は拒否されます。

解析

Following コンパイラ設計においてパーサーによって実行される重要なタスクは次のとおりです。

  • あらゆる種類の構文エラーの検出に役立ちます
  • エラーが発生した位置を見つける
  • エラーの明確かつ正確な説明。
  • エラーから回復して続行し、コード内のさらなるエラーを見つけます。
  • 「正しい」プログラムのコンパイルには影響しません。
  • 解析では、構文エラーを報告することで無効なテキストを拒否する必要があります。

解析テクニック

解析手法は XNUMX つの異なるグループに分類されます。

  • トップダウン解析、
  • ボトムアップ解析

トップダウン解析

トップダウン解析では、解析ツリーの構築はルートから始まり、次に葉に向かって進みます。

トップダウン解析には次の XNUMX 種類があります。

  1. 予測解析:

予測解析は、特定の入力文字列を置き換えるためにどのプロダクションを使用する必要があるかを予測できます。 予測パーサーは、次の入力シンボルを指す先読みポイントを使用します。 この解析手法では、バックトラッキングは問題になりません。 LL(1) パーサーとして知られています。

  1. 再帰降下解析:

この解析手法では、入力を再帰的に解析して語句ツリーを作成します。 これは、文法の各非終端に XNUMX つずつ対応する、いくつかの小さな関数で構成されます。

ボトムアップ解析

コンパイラ設計におけるボトムアップ解析では、解析ツリーの構築は葉から始まり、次にルートに向かって処理されます。 これは、shift-reduce 解析とも呼ばれます。 コンパイラー設計におけるこのタイプの解析は、いくつかの機能を使用して作成されます。 ソフトウェア·ツール.

エラー – 回復方法

システム ソフトウェアの解析時に発生する一般的なエラー

  • 語彙: 間違って入力された識別子の名前
  • 構文: アンバランスな括弧またはセミコロンの欠落
  • 意味論的: 互換性のない値の割り当て
  • 論理的: 無限ループでコードに到達できません

パーサーは、プログラム内で見つかったエラーを検出して報告できる必要があります。 したがって、エラーが発生するたびにパーサーが実行されます。 これを処理し、残りの入力の解析を続行できる必要があります。 プログラムには次のものを含めることができますwing コンパイルプロセスのさまざまな段階で発生するエラーの種類。 パーサーに実装できる一般的なエラー回復メソッドが XNUMX つあります。

ステートメントモードのリカバリ

  • パーサーでエラーが発生した場合、修正手順を実行するのに役立ちます。 これにより、残りの入力と状態を先に解析できるようになります。
  • たとえば、欠落しているセミコロンを追加することは、ステートメント モードの回復メソッドで行われます。 ただし、間違った修正を XNUMX つ行うと無限ループにつながる可能性があるため、解析設計者はこれらの変更を行う際に注意する必要があります。

パニックモードからの回復

  • パーサーでエラーが発生した場合、このモードはステートメントの残りの部分を無視し、erro からの入力を処理しません。neoセミコロンなどの区切り文字を入力します。 これは簡単なエラー回復方法です。
  • このタイプの回復方法では、指定された単一の同期トークン グループが見つかるまで、パーサーは入力シンボルを XNUMX つずつ拒否します。 同期トークンは通常、またはなどの区切り文字を使用します。

フレーズレベルのリカバリ

  • コンパイラはトークンを挿入または削除することでプログラムを修正します。 これにより、元の場所から解析を続行できるようになります。 残りの入力に対して補正を実行します。 残りの入力のプレフィックスを何らかの文字列に置き換えることができるため、パーサーがプロセスを続行するのに役立ちます。

エラープロダクション

  • エラー生成リカバリは、エラーを生成する言語の文法を拡張します。neo私たちが構築します。 次に、パーサーはその構成に関するエラー診断を実行します。

グローバル補正

  • コンパイラは、不正な入力文字列を処理する際に行う変更の数をできるだけ少なくする必要があります。 不正な入力文字列 a と文法 c が与えられると、アルゴリズムは関連する文字列 b の解析ツリーを検索します。 一部の挿入、削除、トークンの変更と同様に、an を b に変換するために必要なトークンの変更は最小限で済みます。

文法

文法は、言語を記述する一連の構造規則です。 文法はあらゆる文に構造を割り当てます。 この用語はこれらの規則の研究も指し、このファイルには形態論、音韻論、および構文が含まれます。 の構文の多くを記述することができます。 プログラミング言語.

形式文法の規則

  • 非終端記号は、少なくとも XNUMX つのプロダクションの左側に表示される必要があります。
  • ゴール記号は、いかなるプロダクションでも ::= の右側に表示されるべきではありません。
  • LHS が RHS に出現する場合、ルールは再帰的です。

表記規則

表記規則のシンボルは、要素を角括弧で囲むことによって示される場合があります。 これは、要素のインスタンスの任意のシーケンスであり、要素を中括弧で囲み、その後にアスタリスク記号 { … }* を続けることで示すことができます。

これは、単一のルール内でシンボルを使用できる代替手段の選択です。 必要に応じて括弧 ([,] ) で囲むこともできます。

終端記号と非終端記号の XNUMX 種類の表記規則領域

1.端末:

  • a、b、c、などのアルファベットの小文字
  • +、-、* などの演算子記号。
  • 括弧、ハッシュ、カンマなどの句読点記号
  • 0、1、…、9桁
  • id や if など、単一の終端記号を表す太字の文字列

2.非端末:

  • A、B、Cなどの大文字
  • 小文字の斜体名: 式またはその一部

文脈自由文法

CFG は、その型の生成物を少なくとも XNUMX つ持つ左再帰文法です。 文脈自由文法のルールは主に再帰的です。 構文アナライザーは、特定のプログラムが文脈自由文法の規則をすべて満たしているかどうかをチェックします。 一致する場合、これらのルール構文アナライザーは、そのプログラムの解析ツリーを作成する可能性があります。

expression -> expression -+ term
expression -> expression – term 
expression-> term
term  -> term * factor
term -> expression/ factor
term  -> factor factor
factor ->  ( expression )
factor -> id

文法の導出

文法導出は、開始記号を文字列に変換する一連の文法規則です。 導出により、文字列が文法の言語に属していることが証明されます。

一番左の導出

入力の文形式がスキャンされ、左から右の順序で置き換えられる場合、それは左端の派生として知られます。 左端の導出により導出される文形式を左文形式と呼ぶ。

一番右の導出

右端の導出をスキャンし、右から左の順序で入力を生成ルールに置き換えます。 これは右端の派生として知られています。 右端の導出から導出される文形式は、右文形式として知られています。

構文と字句アナライザー

構文アナライザー 字句アナライザー
構文アナライザーは主に言語の再帰的な構造を処理します。 字句アナライザーは、構文アナライザーのタスクを容易にします。
構文アナライザーはソース プログラム内のトークンに作用して、プログラミング言語内の意味のある構造を認識します。 字句解析器は、ソース プログラム内のトークンを認識します。
字句解析器からトークンの形式で入力を受け取ります。 によって提供されるトークンの有効性を担当します。

構文アナライザー

構文アナライザーを使用するデメリット

  • トークンが有効かどうかを判断することはありません
  • トークンタイプに対して実行された操作が有効かどうかを判断するのには役立ちません
  • トークンが使用される前に宣言および初期化されるかどうかを決定することはできません

まとめ

  • 構文解析は、字句解析の後に行われるコンパイラ設計プロセスの第 XNUMX フェーズです。
  • 構文アナライザーはコードにルールを適用するのに役立ちます
  • 文、語彙素、トークン、キーワードと予約語、ノイズワード、コメント、区切り文字、文字セット、識別子は、コンパイラ構築における構文分析で使用される重要な用語です。
  • 解析では、入力文字列が整形式であるかどうかをチェックし、整形式でない場合は拒否します。
  • 解析手法は、トップダウン解析とボトムアップ解析の XNUMX つの異なるグループに分類されます。
  • 語彙的、構文的、意味的、論理的なエラーは、メソッドの解析中に発生する一般的なエラーです
  • 文法は言語を記述する一連の構造規則です
  • 表記規則のシンボルは、要素を角括弧で囲むことによって示される場合があります。
  • CFG は、次のタイプの生成物が少なくとも XNUMX つある左再帰文法です。
  • 文法導出は、開始記号を文字列に変換する一連の文法規則です。
  • 構文アナライザーは主に言語の再帰的な構造を処理しますが、字句アナライザーは構文アナライザーのタスクを容易にします。 DBMS
  • 構文アナライザー方式の欠点は、トークンが有効かどうかを決して判断できないことです。