Es-compiler-design-compiler-design-semantic-analysis

提供:Dev Guides
移動先:案内検索

CompiladorDiseño-アナリシス・セマンティコ

ヘモスはアナリザドールのアナモニズムの解釈であり、アナリシスのシンタクシスの過程で解釈されます。 ラ・ラヌラ・デ・アナリシス・アル・ラ・ファス・アン・ケ・ノー・エス、ポル・ロ・ジェネラル、デ・ウソ・デ・アン・コンピラドール、ヤ・ケ・ノー・レバン・ニンギュン・ティポ・デ・インフォーマシチ・ド・コーモ・エバリュエル・エル・アルボル グラマーティカのプロの音楽ライブラリー、レングスのデル・レ・グアス、ロジャー・クアセ・ケ・ラス・ラス、アロハ・コーモの通訳なし。

ポーイェンプロ

E → E + T

La CFGproducciónno tiene reglasemánticaasociada a la misma、y no puede ayudar en larealizaciónde cualquier sentido de laproducción。

セマンティカ

Sengánticade un lenguaje dar sentido a sus construcciones、como los tokens estructura y sintaxis。 セマンティカ・アユダンは、ロス・シンボロスの通訳であり、ロス・デポスである。 Análisissemánticolos jueces si la sintaxis estructura construida en el programa de origen se deriva el significado o no。

CFG + semantic rules = Syntax Directed Definitions

イェンプロによる:

int a = “value”;

エラーが発生せず、エラーが発生しなかった場合、アナリシス、エラーが発生した場合、エラーが発生しなかった場合、エラーが発生しません。 EstásNormasestándefinidas por lagramáticade la lengua y evaluado enanálisissemántico。 Las siguientes tareas deben realizarse enanálisissemántico:

  • ResolucióndeÁmbito
  • Comprobaciónde tipos
  • マトリス・デ・コントロール
  • {ブランク}

エラーの概要

Hemos mencionado algunos de los errores que lasemánticaanalizadorsemánticose espera para reconocer:

  • 偶然のロスティポス
  • 変数の宣言なし
  • Identificador reservado uso indebido。
  • 変数の宣言は、アンビエントにあります。
  • una un fuer de alcanceにアクセスします。
  • 正式な形式のパラメトリックは偶然ではありません。

GramáticaAtributo

コントリビュートグラマーティカの特別なライブラリの詳細な属性は、有能なアディケーター(アトリビューション)を提供します。 Cada atributo tiene bien definido el dominio de los valores、como integer、float、caracteres、cadenas y expresiones。

プログラミティカアナウンスメディオパラセミナプロセミナティカエンエルコンテクストデリブレグラマティカイプエデアユダルアスペシフィックラシンタクシーイラセマンティカデウンレングアエデプログラミング。 Atributogramática(共通の考慮事項)すべての情報を提供します。

例:

E → E + T { E.value = E.value + T.value }

CFGコンティエンヌラセマンティカラスノルマスクエスペシチアンエルモドエンクラグラマティカデベセルインタープリタド Aquí、los valores de las terminales E y T se suman y el resultado se copian en el no-terminal E.

Semánticaatributos pueden ser asignados and sus valores de su dominio en el momento deanálisisyevaluaciónen el momento de lacesióno condiciones。 それは、基本属性、基本カテゴリ、およびカテゴリ分類の属性です。属性属性と属性属性はここにあります。

Atributos sintetizados

Estos atributos obtener los valores de los atributos de sus nodos secundarios。 Para ilustrar、アスミールラスシギエンテスプロドクシオン:

S → ABC

Si S es tomar los valores de sus nodos secundarios(A、B、C)、entonces se dice que es un atributo sintetizado、como los valores de ABC se sintetizan para S.

コモエンヌエストロエメンプロイーテリア(E→E + T)、エルノードパドレE obtiene su valor de su nodo hijo。 Sintetiza los atributos nunca tomar valores entre sus nodos padresまたはcualquier nodos relacionados。

Atributos Heredados

ディフェレンシアデロスアトリボスシンテチザドス、アトリビュートヒアダドスプエデトマールバロレスアントレパドレスエルマノス Tal como se muestra en la siguienteproducción、

S → ABC

Puede obtener los valores de S、B y C. BプエデトマールバロレスデS、A、y C. アシミスモ、CプエデトマールバロレスデS、A y B

拡張:ターミナルなし、ターミナルなし、コモポーナレグラグラマティカル

Atributos Heredados

Reducción:ターミナルの終端は、ターミナルのない終端のセグメントを削除します。 Losárbolesse analizan Sintaxis de arriba a abajo y de izquierda a derecha。 Reduccióncada vez que seproduce、sus reglassemánticas通信員(acciones)。

Análisissemánticoutiliza la sintaxis dirige las traducciones para realizar las tareas antes mencionadas。

Analizadorsemánticorecibe AST(Abstract Syntax Tree)の前部(シンタクシス)のサポート。

Analizadorsemánticoは、AST、Quson Son Llamados atribuido ASTの情報を認めています。

Los atributos son dos tupla valor、<nombre de atributo、valor de atributo>

イェンプロによる:

int value  = 5;
<type, “integer”>
<presentvalue, “5”>

パラカーダプロドゥッシオン、ダモスウナレグラセマンティカ。

S-atribuyóSDT

TRATO ESPECIAL Y DIFERENCIADOsóloutiliza atributos sintetizados、se llama como S-atribuidas al SDT。 Estos atributos son evaluados us評価S-atribuidas SDTS que tienen sus accionessemánticasescritodespuésde laproducción(a la derecha)。

S-atribuido SDT

過去の記述、S-atribuidas SDTの息子の評価は、アナリシスよりも劣悪なこと、コモの損失は、同国の独立した依存関係です。

L-アトリブヨSDT

SDTのアンフォスアトリビュートシンタチドスとヘレダドスコンレストラシコンデノトマールロスバロレスデデレハエルマノス。

L-atribuidas SDTの場合は、非終端記号を使用しないでください。また、hijo、y nodos relacionadosの場合もあります。 Tal como se muestra en la siguienteproducción

S → ABC

S puede tomar valores de A、B y C(sintetizada)。 ウナプエドトマールバロレスデS. Bプエデ・トマール・バロールズ・エンタル・シ・A セプエデオブテナーロスバロレスデS、A y B. ヘイターミナルはありません。

L-atribuidas SDTのロスアトリビュートは、分析と分析のための入門書で評価します。

L-atribuido SDT

S-atribuidas、Tambiénes L-atribuida、およびL-atribuidasの定義encierra S-atribuidas las definicionesのPodemos concluir que si ladefiniciónse S-atribuidas