WEBVTT 00:00:00.000 --> 00:00:04.000 この一般的な考え方は文脈自由法が 00:00:04.000 --> 00:00:06.000 称賛される1つの理由です 00:00:06.000 --> 00:00:08.000 文法は有限です 00:00:08.000 --> 00:00:10.000 こちらに書き表すことができます 00:00:10.000 --> 00:00:14.000 ノントリビアルな文法では 無限の数の文を作ることが可能です 00:00:14.000 --> 00:00:17.000 単純な書き換え規則に従い 00:00:17.000 --> 00:00:22.000 私が終端記号を選ぶまで 文はどこまでも大きくすることが可能です 00:00:22.000 --> 00:00:26.000 チョムスキーをはじめとした多くの学者が 主張していますが 00:00:26.000 --> 00:00:28.000 この方法により有限な人間の脳が 00:00:28.000 --> 00:00:33.000 無限の数のアイデアを生み出せる 1つの理由だそうです 00:00:33.000 --> 00:00:37.000 私の脳はとても小さいものですが 00:00:37.000 --> 00:00:41.000 有限なものが無限の文を生み出せるのです 00:00:41.000 --> 00:00:44.000 頭が痛くなる話だと思うので次に移りましょう 00:00:44.000 --> 00:00:49.000 PythonやJavaScriptのようなコンピュータ言語にも 00:00:49.000 --> 00:00:53.000 この無限大の文と似たものがあります 00:00:53.000 --> 00:00:55.000 私の無限大のマークは下手ですね 00:00:55.000 --> 00:00:59.000 分かりにくいので表記しておきましょう 00:00:59.000 --> 00:01:03.000 この2つの言語では式を書くことができます 00:01:03.000 --> 00:01:08.000 このような文法で式を生成することができます 00:01:08.000 --> 00:01:13.000 expはexpressionの省略です 00:01:13.000 --> 00:01:15.000 勘づいている人もいるでしょう 00:01:15.000 --> 00:01:17.000 小テストの時間です 00:01:17.000 --> 00:01:20.000 この生成文法を使い 00:01:20.000 --> 00:01:26.000 下に書いた文の中で有効なものに チェックを入れてください 00:01:26.000 --> 00:01:29.000 この中で生成できるのはどれでしょう? 00:01:29.000 --> 09:59:59.999 該当する答えをすべて選んでください