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
該当する答えをすべて選んでください