まんが/ラビリンス マンガ 11.E 構文規則5 文脈自由文法 2019年10月15日 susumu 正規文法よりもさらに複雑な文が書ける、文脈自由文法を見てみます。 文法のルールは正規文法と、さほど違わないのですが、カッコで再帰的に囲うような文が書ける ようになります。 そして、それをオートマトンで実現するのには、データを「スタック」とい う、一番最後の部分だけが読み書きできるようなものに書き込むことでできます。 関連記事マンガ 11.F 構文規則6 ラムダ計算の文法マンガ11.d構文規則4 正規文法『数学の現象学〈新装版〉』鈴木 俊洋マンガ 13.g コンピュータの歴史7 アナログ計算機・デジタル計算機マンガ-5.e「計算機と意味」哲学的ゾンビマンガ 6.f 「ラムダ計算5 ラムダ計算vsチューリングマシン」マンガ-3.a 「チューリングマシン① チューリングマシン」マンガ 12.j 命題論理-10 構文論的推論