文法と意味

計算モデル論では、いよいよプログラム言語のモデル化に。いわく、文法の意味づけ（"while(A)B"はどういう動作をするか、など)を自然言語で行えば曖昧さが残ってしまう。標準コンパイラの解釈結果として定義するなら厳密だけど、応用性はないし処理系が廃れればそれまで。そこで、記述がどのような数学的意味を持つか、集合論的に記述していこうというもの。具体的な記述についてはこれから。