導入
メッセージの意味分析は、語彙や文法を使用してメッセージを分解する語彙や文法分析とは対照的に、テキストの要素 (単語) の意味を使用してメッセージの意味を確立する分析の段階です。
言語学
意味分析のコンテキストでは、2 つの単語が同じように綴られているという事実は、それらが同じ意味を持つことを必ずしも意味しません。
たとえば、文法の観点から見ると、「come」という単語は、「彼をここに来させてください」（この場合は動詞「come」）のような文と、「で休暇に行く」のような文では異なる意味を持ちます。ウィーン」（ここでは固有名詞です）。意味論的な観点から見ると、同じ単語「ウィーン」は、オーストリアとフランスに存在する「ウィーン」市や、ウィーン県（「ウィーンにある」というべきです）などに対応する可能性があります。 。どの言語にも曖昧な言葉がたくさんあり、誤解を生む可能性があります。インド・ヨーロッパ語族では、2 単語に 1 単語が曖昧であると推定されています。
したがって、自分が何を言っているのか (または他の人が何を言っているのか) を理解するには、単語の意味を分析することが基本です。これは私たちが意識せずに毎日行っている人間の操作であり、コンピュータによる自動分析には多くの問題が生じます。特に検索エンジン(Google など)、翻訳ソフトウェア (Systran など)、スペル チェッカー (Druide Antidote など) では、多くのエラーを含む結果が表示されます。しかし、一部の企業はこの分野で進歩を遂げており (Acetic の Tropes、「Kaliwatch」、Arisem の Kim など)、可能であれば、いつかコンピュータが私たちを真に理解してくれることを期待できます…
コンピュータサイエンス
コンパイルにおいて、セマンティック分析は、構文分析の後、コード生成の前に行われるフェーズです。対象となる プログラミング言語のセマンティクスに必要なチェックを実行し、抽象構文ツリーに情報を追加して、シンボル テーブルを構築します。この分析によって実行されるチェックは次のとおりです。
- 名前解決。コンパイラは、見つかったラベルを変数、関数、型の識別子に関連付けることによってシンボル テーブルを構築し、これが不可能な場合にはエラーを報告します。たとえば、同じ名前を持ち、同じブロック内にある 2 つの変数にはあいまいさがあり、プログラミングエラーが発生します。
- 型チェック。コンパイラは、ステートメントと式の型の互換性をチェックします。たとえば、関数が 2 つの整数パラメータで初期化されている場合、異なる数のパラメータを渡そうとした場合、または渡されたパラメータの型が整数ではなかった場合、エラーが発生します。代入中に、パーサーは 2 つの型間の互換性と、必要な暗黙的な変換をチェックします。
- 最後の割り当てでは、ローカル変数を使用する前に初期化する必要があります。一部の言語では、この最初の非代入をコンパイル エラーとみなします (Java) が、他の言語では何も指定せず、警告を生成します (C の gcc など)。
