まんが/ラビリンス マンガ11.d構文規則4 正規文法 2019年8月21日 susumu 句構造規則の中でも単純な、正規文法を見てみます。 正規文法は、プログラミングをする人などがよく使う、「正規表現」と言われる書き方で記述できる文法で、文字列の検索や置き換え、簡単な文字列の解析などに使われます。 文法のルール自体は、とても単純なものですが、それなりに複雑な文法を表現することができます。 ちょっと細かい話が続きますが、こうした文法はプログラミング言語に限らず、論理学や数学などの、記号を使った計算の基礎にもなるので、もうしばらく追いかけます。 関連記事マンガ 11.E 構文規則5 文脈自由文法マンガ 11.C 構文規則3 句構造規則Labyrinth-2.c「不完全性定理③-論理主義・直観主義」『数の大航海』志賀浩二/『小数と対数の発見』山本義隆マンガ 12.h 命題論理-8 意味論的推論本:『科学哲学への招待』野家啓一 ちくま学芸文庫[再アップ]10.g 論理学 7 真実を知るための儀式/参考文献 哲学者編本『自然とギリシア人・科学と人間性』エルヴィン・シュレーディンガー(水谷淳訳) ちくま学芸文庫