第5回

言語処理系（４）
金子敬一
練習問題２．２
値呼び，参照呼び， begin
複写復元連係，名前
A := 2;
呼び，を用いたとき
B := 3;
の印字結果？
PROC(A+B,A,A);
proc PROC(X,Y,Z);
print
A
begin
end
Y := Y + 1;
Z := Z + X
end PROC;
•
練習問題２．２
出力結果は，
• 値呼び
proc PROC(X,Y,Z);
begin
Y := Y + 1;
Z := Z + X
end PROC;
begin
A := 2;
B := 3;
PROC(A+B,A,A);
print A
end
2
練習問題２．２
出力結果は，
• 参照呼び
proc PROC(X,Y,Z);
begin
Y := Y + 1;
Z := Z + X
end PROC;
begin
A := 2;
B := 3;
PROC(A+B,A,A);
print A
end
8
練習問題２．２
出力結果は，
• 複写復元連係
proc PROC(X,Y,Z);
begin
Y := Y + 1;
Z := Z + X
end PROC;
begin
か
A := 2;
B := 3;
PROC(A+B,A,A);
print A
end
37
練習問題２．２
出力結果は，
• 名前呼び
proc PROC(X,Y,Z);
begin
Y := Y + 1;
Z := Z + X
end PROC;
begin
A := 2;
B := 3;
PROC(A+B,A,A);
print A
end
9
３字句解析
３．１字句解析系の役割
３．２字句解析系を設計するための簡単な
方法
３．１字句解析系の役割
• 字句解析系の設計
入力文字列
入力文字列
呼出し
字句解析系
字句
構文解析系
構文解析系
解析木
字句解析系
字句
解析木
３．１字句解析系の役割
•



字句解析の必要性
構文解析よりも簡単な作業
分離することで構文解析も単純化
字句解析時に実行可能なこと
1. 行番号の数え上げ
2. 出力リストの作成
3. 余白の除去
4. 注釈の削除
３．１字句解析系の役割
•
入力バッファリング
’i’’n’’t’’ ’’x’’1’’;’’ ’’i’’n’’t’’ ’
”int”
３．１字句解析系の役割
•
入力バッファリング
’i’’n’’t’’ ’’x’’1’’;’’ ’’i’’n’’t’’ ’
”int”
”x1”
３．１字句解析系の役割
•
入力バッファリング
’x’’1’’;’’ ’’i’’n’’t’’ ’’v’’e’’r’’y’
’l’’o’’n’’g’’n’’a’’m’’e’’;’’
’’i’’n’
３．１字句解析系の役割
•
入力バッファリング
’x’’1’’;’’ ’’i’’n’’t’’ ’’v’’e’’r’’y’
’l’’o’’n’’g’’n’’a’’m’’e’’;’’ ’’i’’n’
３．１字句解析系の役割
•
予備操作
− 注釈の除去
− 不要な空白の除去
− 行数の数え上げ
３．２字句解析系を設計する
ための簡単な方法
•
遷移図
字句の発見を表す
現れ得る入力文字
0
英字
状態
遷移
1
*
1文字戻す
３．２字句解析系を設計する
ための簡単な方法
•
識別子に対する遷移図
英字または数字
始め
0
英字
1
区切り記号
2
*
ちょっと休憩
（雑談）
ＣＭの中の外国語
• Volare, cantare...
う...
• Что? Что?
飛ぶ，歌
何？何？
• Il offre sa confiance et
son amour. 信頼と愛情を提供する．
• 有烏龍茶嗎？ウーロン茶あります
か？
休憩おわり
３．２字句解析系を設計する
ための簡単な方法
•
遷移図からプログラムへ
− 入力バッファから次の文字を読み込
む．（関数GETCHAR）
− 対応する辺が出ていれば，対応す
る状態へ制御を移す．
− ２重丸の状態でなければ，失敗．
− すべての遷移図を試しても駄目なら
ば字句誤り．
３．２字句解析系を設計する
ための簡単な方法
•
状態０
state0:
C := GETCHAR();
if LETTER(C) then
始め
0
英字
goto state1
else FAIL()
３．２字句解析系を設計する
ための簡単な方法
•
状態１
英字または数字
1
state1:
C := GETCHAR();
if LETTER(C) or
DIGIT(C) then
区切り記号
goto state1
else if DELIMIT(C)
then goto state2
else FAIL()
３．２字句解析系を設計する
ための簡単な方法
•
状態２
state2:
RETRACT();
return(id,
2
*
INSTALL())

Download Report