正規文法よりもさらに複雑な文が書ける、文脈自由文法を見てみます。
「まんが/ラビリンス」カテゴリーアーカイブ
マンガ13.d構文規則4 正規文法
マンガ 13.C 構文規則3 句構造規則
マンガ 13.B 構文規則2 チョムスキー
ほとんどのプログラミング言語の文法は、チョムスキーという人が考え出した、 「生成文法」というものを使って決められています。
5週年
- しばらく前ですが、マンガに感想をいただきました。ありがとうございます。お礼に拍手の絵を変えてみました。
- 「はじめに」のページにコメント欄をつけてみました。
最近は人工知能「ブーム」が終わりつつある、なんて言葉もささやかれ始めたようです。が、人工知能ブームはこれまでも何度も起こってきました。
マンガ 13.A 構文規則1
マンガ 12.k 論理学 11 論理の形式化
論理学は形式化されることによって、単なる言葉の分析から、推論の構造の全体を調べられるものになったようです。
マンガ 12.j 論理学 10 ストア派の論理学
アリストテレスの名辞論理学に対して、その後の時代のストア派によって作られた論理学は、今の命題論理学に近いものだったようです。
←マンガごっちゃに置かせてもらっています
マンガ 12.i 論理学 9 名辞論理学/ 参考文献ー論理学編
マンガ 12.h 論理学 8 アリストテレス
プラトンの学園で学んだアリストテレスは、ソフィスト達の問答競技の手法なども参考にしつつ、論証や議論の方法をまとめましたが、その中に最古の論理学とも言える「名辞論理学」がありました。
←マンガごっちゃに置かせてもらっています