Schedule of Language Theory and Compilers

Aoyama Gakuin University, Spring term 2021, Martin J. Dürst (last updated April 1)

Bibliography / 参考書

[4月 9日]   → オンデマンド

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

4月16日

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

4月23日

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

4月30日 (補講、未定)

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

5月 7日

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

5月14日

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

5月21日

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

5月28日

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

6月 4日

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

6月11日

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

6月18日

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

6月25日

Turing Machines / チューリング機械

7月 2日 (Marine Day / 海の日; 授業実施日)

Code generation / コード生成

7月 9日

Code optimization / 最適化

7月16日

Executing environment: virtual machines, garbage collection (incl. final exam)
実行環境: 仮想計算機、ゴミ集め (期末試験を含む)