言語理論とコンパイラ

第一回 (2007年 4月13日)

授業の概要
言語理論とコンパイラの応用分野
コンパイラ全体の仕組み

© 2006 Martin J. Dürst 青山学院大学

自己紹介

• スイス チューリッヒ生まれ
• チューリッヒ大学で lic.oec.publ. (修士相当、情報科学専攻、経営学と日本学副専攻)
• 文部省奨学金で来日、東京大学で理学博士 (情報科学専攻)
• チューリッヒ大学情報科学科マルチメディア研究室主任助手
• 慶應義塾大学政策・メディア研究科特別研究助教授 (W3C プロジェクト)
• 米マサチューセッツ工科大学客員研究員
• World Wide Web Consortium (W3C) 国際化活動責任者
• 今月から理工学部情報テクノロジー学科助教授 (ソフトウェア科学研究室)

授業の位置付け

• 3 年前期
• 第二科目群 (選択必修)
• ベースになる科目:
  • 計算機概論
  • 情報数学
  • 計算機実習 (プログラミング)

授業の進め方

• 前の方に着席
• 資料配付とウェブ公開
• 書き込みが必要
• 一部ノートパソコンで演習
• 宿題、ミニテストはアナウンスなしもある
• 出席しないと損

授業の内容

• 出力より入力に注目、入力の難しさに挑戦
• 理論から応用まで様々な表現を使う

入力の難しさ

• 構造化されてない (ただのバイト列)
• 何でもあり
• 入力が正しいかどうかの判断が計算のモデル

コンパイラの役割

ソフトからハードへの橋渡し

入力: 人間が分かるプログラム (高級プログラムイング、ソース (プログラム)、原始プログラム)

出力: 機械が分かるプログラム (目的プログラム、実行プログラム)

コンパイラの仕事の一例

入力のプログラムの一部:

sum += price * 25;

出力:

LOAD   R1, price    ; R1 (レジスタ1) に price というアドレスからロード
LOAD   R2, 25       ; R2 (レジスタ2) に 25 の定数をロード
MUL    R1, R1, R2   ; R1 に R1 と R2 の掛け算の結果を入れる
LOAD   R2, sum      ; R2 に sum というアドレスからロード
ADD    R2, R1, R2   ; R2 に R1 と R2 の合計を入れる
STORE  sum, R2      ; sum というアドレスに R2 を入れる

コンパイラの論理的構造

[プリプロセッサ (preprocessor) ]

字句解析 (lexical analysis)

構文解析 (parsing; syntax analysis)

意味解析 (semantic analysis)

最適化 (optimization)

コード生成 (code generation)

[アセンブラ (assembler)]

[リンカ (linker)・ローダ (loader) ]

コンパイラの種類と関連物

• ワンパス・コンパイラ (one pass compiler)
• x-パス・コンパイラ (x は 2 から 70 (PL/1))
• 動的コンパイラ (dynamic/just-in-time (JIT) compiler)
• クロスコンパイラ (cross-compiler)
• プリプロセッサ (preprocessor)
• インタプリタ (通訳系, interpreter)

字句解析の一例

入力のプログラムの一分 (文字の列):

出力 (記号の列):

id("sum"), plusequal, id("price"), asterisk, int(25), semicolon

• 一つの記号 (符、token) が複数の文字からなる
• 記号に属性が付いていることがある
• 空白は解析に使われるが出力しない

構文解析の一例

入力 (記号の列):

id("sum"), plusequal, id("price"), asterisk, int(25), semicolon

出力 (構文木、syntax tree):

statement (+= (sum, * (price, 25)))

オートマトンの一例

自動販売機:

• 入力: 50円玉
• 出力: ジュース (150円)

状態遷移図 (state transition diagram)

言語と文法

• 文法は言語の構成規則である
• 簡単な文の例 (命令文): eat bread、read books、play music
• 文法的には read bread とか play books も正しい

形式言語の文法の一例

• S, A: 非終端記号 (nonterminal symbols, 大文字)
• a, o, y: 終端記号 (terminal symbols, 小文字)
• 書き換え規則 (rewriting rules)

  S → a S o

  S → A

  A → y a

• S: 初期記号 (initial symbol, start symbol)

文法から文の導出 (derivation) の一例:

S → a S o → a a S o o → a a A o o → a a y a o o

S ⇒ a a y a o o

宿題

提出期限と場所: 2007年4月19日 (木) 19:00 まで O棟5階のO529 号室の前の箱に投入

形式: A4 一枚

1. XML に付いて調べて、結果をページ半分程度にまとめなさい。(この授業に関係あることの方がよい。)
2. 次の行の Cプログラムの一文の字句解析の結果、構文解析の結果、そしてコンパイラの出力 (アセンブリ言語; コメントは必要ない; 割り算は DIV で) を、授業の例に習って書きなさい。
   total = pretax + pretax/100*5;