今まで見てきた文法を使って、ラムダ計算の文法を書いてみます。

ざっと作ったので、変な式も書けてしまうかもしれませんが、だいたいこんな感じで、コンピュータの言語の文法を決めることが出来る、ということだと思って見てください…。

今から思えば、最初にプログラミング言語を見て、この構造を把握しておいたほうが、分かりやすかったような気がしますが…。