Schedule of Language Theory and Compilers

Aoyama Gakuin University, spring term 2020, Martin J. Dürst (last updated June 19)

Bibliography / 参考書

5月 1日

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

5月 8日

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

5月15日

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

5月22日 (補講、未定)

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

5月29日

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

6月 5日

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

6月12日

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

6月19日

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

6月26日

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

7月 3日

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

7月10日

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

7月17日

Turing Machines / チューリング機械

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

Code generation / コード生成

7月31日

Code optimization / 最適化

8月 7日

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