1705241146
1705241147
如果字串机拥有足够的智慧，它或许可以解决这些问题。但乔姆斯基已经明确地驳斥了将人类语言视为字串的观点。他证明说，即使从理论上说，某些英语句型也无法由字串机来完成，无论这台字串机的功能有多强大，也无论它是否完全以概率表为准则。例如下面这两个句子：
1705241148
1705241149
Either the girl eats ice cream, or the girl eats candy.
1705241150
1705241151
这个女孩要么吃冰激凌，要么吃糖果。
1705241152
1705241153
If the girl eats ice cream, then the boy eats hot dogs.
1705241154
1705241155
如果这个女孩吃冰激凌，这个男孩就吃热狗。
1705241156
1705241157
乍看之下，这两个句子似乎很容易分解：
1705241158
1705241159
1705241160
1705241161
1705241162
但字串机对此束手无策。在一个句子中，“Either”之后必须连接以“or”引起的分句，没有人会说“Either the girl eats ice cream, then the girl eats candy”。同样，“if”之后跟随的是“then”，没有人说“If the girl eats ice cream, or the girl likes candy”。但是，要满足句中早先出现的单词与稍后出现的单词之间的对应关系，字串机必须在逐字炮制句子的同时记住早先出现过的单词。而这就是问题所在：字串机是一个“健忘者”，它只能记住自己刚刚选取的单词列表，而无法记住之前的内容。当字串机运行到“or”或者“then”列表时，它根本记不清句子的开头到底是“if”还是“either”。当然，我们可以从制高点的位置居高临下地鸟瞰整个“路线图”，记住这台字串机在第一个岔口上所选择的道路；但对于在列表之间匍匐前进的字串机而言，要记住自己之前走过的道路却是不可能的事情。
1705241163
1705241164
或许你认为这只是一个很简单的问题，我们只须对字串机进行重新设计，让它可以记住自己先前选择的内容，例如，这台字串机能够将单词“either”和“or”以及它们中间可能出现的字序组合成一个大序列，再将“then”和“if”以及它们中间的字序组合成另一个大序列，然后再进行第三个序列的生成。例如：
1705241165
1705241166
1705241167
1705241168
1705241169
然而，这一解决方案存在非常明显的问题：它产生出三个相同的“子网”（subnetwork）。显然在现实语境中，无论人们在“either”和“or”之间插入什么内容，它们都同样可以插入“if”和“then”之间，也可以插入“or”或“then”之后。但是，人类的这种能力乃是出自大脑语言机制的自然设计，而并非依赖于某位设计者精心编写的三组相同的指令集（或者貌似更加合理的是，儿童在学习该句的句式时必须分三次进行，先是“if”和“then”之间的序列，然后是“either”和“or”之间的序列，最后是“then”和“or”之后的序列）。
1705241170
1705241171
不过，乔姆斯基对这个问题看得更深。他表示，以上两个句子都可以嵌入其他任何句子之中，甚至包括它们自己在内：
1705241172
1705241173
If either the girl eats ice cream or the girl eats candy, then the boy eats hot dogs.
1705241174
1705241175
如果这个女孩要么吃冰激凌要么吃糖果的话，那么这个男孩就吃热狗。
1705241176
1705241177
Either if the girl eats ice cream then the boy eats ice cream, or if the girl eats ice cream then the boy eats candy.
1705241178
1705241179
如果这个女孩吃冰激凌，那么这个男孩要么吃冰激凌，要么吃糖果。
1705241180
1705241181
就第一个句子而言，字串机必须分别记住“if”和“either”，然后才能在稍后的过程中依次选择“or”和“then”。就第二个句子而言，它必须分别记住“either”和“if”，然后才能选择“then”和“or”来完成句子。从理论上说，位于句子开头部分的“if”和“either”的数量可以无限多，而每个“if”或“either”都需要一个“then”或“or”来完成句子。因此，分别列出每一个可供记忆的字串序列其实并没有多大意义，你必须为此记住无限个字串，而这显然超出了我们大脑的容量。
1705241182
1705241183
这种学术性的论证可能会让你颇感诧异。在现实生活中，没人会说出以“Either either if either if if”开头的句子，因此谁又会在乎这台语言机制的模拟装置是否能用“then…then…or…then…or…or”来完成句子呢？不过，乔姆斯基只是借用了数学家的研究方法，他将“either-or”与“if-then”的交替现象视为一种最简单的语言特性，即前后单词的“长距离依存关系”（long-distance dependencies），以便从数学上证明字串机无法处理这些依存关系。
1705241184
1705241185
事实上，这种依存关系在语言中比比皆是。人们时时刻刻都在用它，不但距离超长，而且经常一次数个，但字串机却做不到这一点。例如，语法学家常常用这个以5个介词结尾的句子为例：Daddy trudges upstairs to Junior’s bedroom to read him a bedtime story. Junior spots the book, scowls, and asks, “Daddy, what did you bring that book that I don’t want to be read to out of up for?”（父亲步履蹒跚地爬上楼，来到孩子的卧室，只为给孩子读一个睡前故事，孩子看见书，皱着眉头问道：“爸爸，你怎么把这本我不想听的书带上来了呢？”）这个孩子在说到“read”一词时，已经在脑海中形成了4个依存关系：“read”与“to”、“that book that”与“out of”、“bring”与“up”、“what”与“for”。不过，下面这个源于现实生活的例子或许更能说明问题，它出自某位读者写给《电视指南》（TV Guide）的一封信：
1705241186
1705241187
How Ann Salisbury can claim that Pam Dawber’s anger at not receiving her fair share of acclaim for Mork and Mindy’s success derives from a fragile ego escapes me.
1705241188
1705241189
安·索尔兹伯里说，帕姆·道伯之所以没有因《默克与明蒂》的成功获得应有赞誉而生气，是源于她脆弱的自我。我不明白她为什么这样说。
1705241190
1705241191
显然，这位写信者在写到“not”时，脑海中一定形成了4个需要完成的语法结构：（1）“not”之后需要接动词的“-ing”形式（“her anger at not receiving acclaim”）；（2）“at”之后需要接名词或动名词（“her anger at not receivingacclaim”）；（3）单数主语“Pam Dawber’s anger”规定了它的动词（即其后第14个单词）也必须保持单数形式（Dawber’s anger…derives from）；（4）以“How”开头的单数规定了它的动词（即其后第27个单词）也必须保持单数形式（How …escapes me）。同样，读者在理解这个句子时，也需要将这些依存关系牢记于心。从技术上讲，我们可以制造出一个能够处理这些句子的字串机，只要说话者需要记住的依存关系在数量上有具体的限度（比如说4个）。但是，这台机器的冗余度将大得不可思议，因为面对每一种依存组合，这台机器都必须对同一个字串进行重复复制，而这种依存组合的数量多达千计。即使耗尽我们的大脑，也无法记住这样的超级字串。
1705241192
1705241193
1705241194
1705241195