言語処理系（８）

言語処理系（８） 金子敬一

６　構文主導型翻訳 ６．１　構文主導型翻訳方式６．２　構文主導型翻訳系の実現６．３　中間コード６．４　後置記法６．５　解析木と構文木６．６　３番地コード，４つ組および３つ組６．７　代入文の翻訳６．８　論理式６．９　制御の流れを変える文

６．１　構文主導型翻訳方式 • 意味動作生成規則にプログラムを付加構文解析しながら中間コードを生成このプログラムを • 意味動作 • 出力動作 • 意味規則などと呼ぶ

６．１　構文主導型翻訳方式 • 翻訳属性プログラムの扱うデータ文法記号に付随させる E → E(1)+E(2) {E.VAL:=E(1).VAL+E(2).VAL} 上昇型構文解析を想定葉に近い方が結びつきが強い翻訳属性

６．１　構文主導型翻訳方式 • 解析木上の翻訳属性意味動作で翻訳属性を計算可能 E→E(1)+E(2){E.VAL:=E(1).VAL+E(2).VAL} E→digit{E.VAL:=digit} 解析木を構成しない場合は，スタックを利用

６．１　構文主導型翻訳方式 • 解析木上の翻訳属性 E→E(1)+E(2) {E.VAL:=E(1).VAL+E(2).VAL} E→digit{E.VAL:=digit} 6 E 3 1 E 3 2 E E E 1 + 2 + 3

６．２　構文主導型翻訳系の実現 • スタックによる実現 A → XYZ {A.VAL:= f (X.VAL, Y.VAL, Z.VAL)}

６．２　構文主導型翻訳系の実現 • 電卓の実現意味動作 • {printE.VAL} • {E.VAL:=E(1).VAL+E(2).VAL} • {E.VAL:=E(1).VAL*E(2).VAL} • {E.VAL:=E(1) .VAL} • {E.VAL:=I.VAL} • {I.VAL:=10*I(1).VAL+LEXVAL} • {I.VAL:=LEXVAL} • S→E$ • E→E(1)+E(2) • E→E(1)*E(2) • E→(E(1)) • E→I • I→I(1)digit • I→digit

６．２　構文主導型翻訳系の実現 • 電卓の実現 2 3 * 5 + 4 $ • S→E$ • E→E(1)+E(2) • E→E(1)*E(2) • E→(E(1)) • E→I • I→I(1)digit • I→digit - 3 I I 23 2 - 2

６．２　構文主導型翻訳系の実現 • 電卓の実現 2 3 * 5 + 4 $ • S→E$ • E→E(1)+E(2) • E→E(1)*E(2) • E→(E(1)) • E→I • I→I(1)digit • I→digit E I 5 - 5 - * E I 115 23

６．２　構文主導型翻訳系の実現 • 電卓の実現 2 3 * 5 + 4 $ • S→E$ • E→E(1)+E(2) • E→E(1)*E(2) • E→(E(1)) • E→I • I→I(1)digit • I→digit E I 4 - 4 - + E 115 119

６．２　構文主導型翻訳系の実現 • 電卓の実現 2 3 * 5 + 4 $ • S→E$ • E→E(1)+E(2) • E→E(1)*E(2) • E→(E(1)) • E→I • I→I(1)digit • I→digit 答えは１１９ - $ E S 119 -

６．３　中間コード • 中間コードプログラミング言語中間コード機械語機械に依存しない

６．３　中間コード • よく用いられる中間コード • 後置記法 • 構文木 • ４つ組 • ３つ組

６．４　後置記法 • 後置記法 e1,e2,..., ek: 後置記法の式 q : k項演算子 e1e2 ... ekq : e1, ..., ekで表された値にq を　適用した結果 (a + b) * c a b + c * a * (b + c) a b c + * (a + b) * (c + d) a b + c d + *

６．４　後置記法 • 後置式の評価 1 3 + * 5 4 20

被演算子 演算子６．５　解析木と構文木 • 構文木解析木　　　　構文木 / * d a * (b + c) / d a + b c

６．５　解析木と構文木 • 構文木への構文主導型翻訳 (1) E → E(1)opE(2) {E.VAL := NODE(op, E(1).VAL, E(2).VAL} (2) E → (E(1)) {E.VAL := E(1).VAL} (3) E → -E(1) {E.VAL := UNARY(-, E(1).VAL} (4) E → id {E.VAL := LEAF(id)}

算術・論理演算子 名前，定数，一時名６．６　３番地コード，４つ組および３つ組 • ３番地コード A := B op C X + Y * Z T1 := Y * Z T2 := X + T1

６．６　３番地コード，４つ組および３つ組 • その他の３番地文 • A := B op C • A := op B • goto L • if A relop B goto L • param A, call P, n • A := B[I], A[I] := B • A := addr B, A := *B, *A := B

６．６　３番地コード，４つ組および３つ組 • ４つ組 T1 := - B T2 := C + C T3 := T1 * T2 A := T3

６．６　３番地コード，４つ組および３つ組 • ３つ組 T1 := - B T2 := C + C T3 := T1 * T2 A := T3

６．６　３番地コード，４つ組および３つ組 • ３つ組 A[I] := B A := B[I]

６．６　３番地コード，４つ組および３つ組 • 間接３つ組 T1 := - B T2 := C + C T3 := T1 * T2 A := T3

６．６　３番地コード，４つ組および３つ組 • 表現法の比較

６．６　３番地コード，４つ組および３つ組 • 単一の配列による表現 T1 := - B T2 := C + C T3 := T1 * T2 A := T3

ちょっと休憩（雑談）

学会旅行 ★★★ ★★★ ★★★ ★★★ ★ ★★ ★★★ ★★ • 長岡（９８．８） • 高知（９８．１２） • サン・フランシスコ（９９．１） • サン・ファン（９９．４） • 鶯宿温泉（９９．５） • 香港（９９．１２） • サン・ディエゴ（００．１） • ペナン（００．１１）

学会旅行 ★ ★ ★★★ ★ ★★★ ★★★ ★★ • 京都（０１．３） • 台北（０１．７） • 那覇（０１．７） • 倉敷（０１．１２） • サン・アントニオ（０２．１） • プラハ（０２．６） • マドリッド（０２．６） • 湯布院（０２．８），金沢（０２．９），…

休憩おわり

６．７　代入文の翻訳 • 整数型の代入文 A → id:=E E → E+E|E*E|-E|(E)|id

６．７　代入文の翻訳 • 抽象的な水準での翻訳方式 • E.P : 式Eの値を保持する名前 • E.C : 式Eの値を計算する３番地文の列 • N( ) : 新しい一時名の生成関数

６．７　代入文の翻訳 • 抽象的な水準での翻訳方式 A → id:=E {A.C := E.C++[id.P := E.P]} E → E(1)+E(2) {E.P:=N( ); E.C:=E(1).C++E(2).C++[E.P:=E(1).P+E(2).P]} （乗算も同じ） E → -E(1) {E.P:=N( ); E.C:=E(1).C++[E.P:=-E(1).P]} E →(E(1)) {E.P:=E(1).P; E.C:=E(1).C} E → id{E.P:=id.P; E.C:=[ ]}

６．７　代入文の翻訳 • 具体的な水準での翻訳方式 A → id:=E {GEN(id.P := E.P)} E → E(1)+E(2) {E.P:=N( ); GEN(E.P:=E(1).P+E(2).P)} E → E(1)*E(2) {E.P:=N( ); GEN(E.P:=E(1).P*E(2).P)} E → -E(1) {E.P:=N( ); GEN(E.P:=-E(1).P)} E →(E(1)) {E.P:=E(1).P} E → id{E.P:=id.P}

６．７　代入文の翻訳 • 混合型の代入文式Eの翻訳属性として型を表すE.Mを導入 X:=Y+I*J T1 := I int* J T2 := inttoreal T1 T3 := Y real+ T2 X := T3 実数型整数型

言語処理系（８）

言語処理系（８）

Presentation Transcript