Schedule of Language Theory and Compilers

Aoyama Gakuin University, spring term, 2016, Martin J. Dürst

Bibliography / 参考書

4 月 8 日

Overview: Application fields of language theory and compilers, overall structure of compilers
授業の概要: 言語理論とコンパイラの応用分野、コンパイラ全体の仕組み

4 月 15 日

Importance, classification, and definition of formal languages; finite automata
形式言語の重要性、種類と定義; 有限オートマトン

4 月 22 日

Deterministic and non-deterministic finite automata, (left and right) linear grammars, regular expressions
決定性有限オートマトンと非決定性有限オートマトン、左線形文法と右線形文法、正規表現

4 月 29 日 (昭和の日、授業実施日)

Implementation of lexical analysis, use of tools for lexical analysis
字句解析の実装、字句解析ツールの使い方

5 月 6 日

Applications of lexical analysis, exercises using tools for lexical analysis
字句解析の応用、字句解析ツールを使った演習

5 月 13 日

Context-free languages and parsing
文脈自由言語と構文解析

5 月 20 日

Principles of top-down parsing
下向き構文解析の原理

5 月 27 日

Top-down parsing exercises
下向き構文解析の演習

6 月 3 日

Principles of bottom-up parsing
上向き構文解析の原理

6 月 10 日

Usage of tools for parsing
構文解析ツールの使い方

6 月 17 日

Error processing, semantic analysis, intermediate representations
構文解析の時のエラー処理、意味解析と中間表現

6 月 24 日

Turing Machines
チューリング機器

7 月 1 日

Code generation
コード生成

7 月 8 日

Code optimization
最適化

7 月 15 日

Executing environment: virtual machines, garbage collection
実行環境: 仮想計算機、ゴミ集め

7月29日11:10-12:35

Term final exam / 期末試験期間