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