まんが/ラビリンス マンガ11.d構文規則4 正規文法 2019年8月21日 susumu 句構造規則の中でも単純な、正規文法を見てみます。 正規文法は、プログラミングをする人などがよく使う、「正規表現」と言われる書き方で記述できる文法で、文字列の検索や置き換え、簡単な文字列の解析などに使われます。 文法のルール自体は、とても単純なものですが、それなりに複雑な文法を表現することができます。 ちょっと細かい話が続きますが、こうした文法はプログラミング言語に限らず、論理学や数学などの、記号を使った計算の基礎にもなるので、もうしばらく追いかけます。 関連記事マンガ 11.E 構文規則5 文脈自由文法マンガ 11.C 構文規則3 句構造規則2016年に読んだ本ー古代ギリシア映画『トランセンデンス』マンガ6.b「停止性問題」マンガ 10.h 論理学 8 アリストテレス[再アップ] マンガ 2.d「不完全性定理④-ヒルベルト計画・形式化」マンガ 6.f 「ラムダ計算5 ラムダ計算vsチューリングマシン」