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

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

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

正規文法よりもさらに複雑な文が書ける、文脈自由文法を見てみます。

句構造規則の中でも単純な、正規文法を見てみます。

• しばらく前ですが、マンガに感想をいただきました。ありがとうございます。お礼に拍手の絵を変えてみました。
• 「はじめに」のページにコメント欄をつけてみました。

最近は人工知能「ブーム」が終わりつつある、なんて言葉もささやかれ始めたようです。が、人工知能ブームはこれまでも何度も起こってきました。

続きを読む 5週年 →

プログラミング言語づくりを通して「構文規則」を見てゆきます。