まんが/ラビリンス マンガ11.d構文規則4 正規文法 2019年8月21日 susumu 句構造規則の中でも単純な、正規文法を見てみます。 正規文法は、プログラミングをする人などがよく使う、「正規表現」と言われる書き方で記述できる文法で、文字列の検索や置き換え、簡単な文字列の解析などに使われます。 文法のルール自体は、とても単純なものですが、それなりに複雑な文法を表現することができます。 ちょっと細かい話が続きますが、こうした文法はプログラミング言語に限らず、論理学や数学などの、記号を使った計算の基礎にもなるので、もうしばらく追いかけます。 関連記事マンガ 11.E 構文規則5 文脈自由文法マンガ 11.C 構文規則3 句構造規則『数学の現象学〈新装版〉』鈴木 俊洋[再アップ] マンガ 2.d「不完全性定理④-ヒルベルト計画・形式化」『中世の覚醒』リチャード・E・ルーベンスタイン ちくま学芸文庫本『ロボットという思想』 浅田稔 NHK出版マンガ 6.d 「ラムダ計算3 分岐・ループ」『歴史(上・下)』トゥキディデス ちくま学芸文庫