Учитывая общий характер этой концепции языка и ее значимость для таких смежных дисциплин, как теория коммуникации, важно установить следствия приложения ее к синтаксическому изучению таких языков, как английский, или к формализованной системе математики. Всякая попытка построить грамматику с конечным числом состояний для английского языка с первых же шагов наталкивается на серьезные затруднения и сложности, которые читатель легко может себе представить. Однако нет необходимости иллюстрировать это примерами, поскольку существует следующее более общее утверждение, относящееся к английскому языку:
(9) Английский язык не является языком с конечным числом состояний. Это значит, что невозможно, а не только трудно построить механизм описанного выше типа (диаграмма вида (7) или (8)), который порождал бы все грамматически правильные предложения английского языка, и только их. Чтобы убедиться в справедливости утверждения (9), необходимо определить синтаксические свойства английского языка более точно. Ниже мы опишем некоторые синтаксические свойства английского языка, благодаря чему станет ясно, что при любых разумных ограничениях множества предложений языка утверждение (9) может считаться теоремой для английского языка. Возвращаясь к вопросу, поставленному в § 3.2[9], мы можем сказать, что утверждение (9) равносильно утверждению о невозможности установления морфемной структуры предложений непосредственно с помощью таких механизмов, как диаграмма состояний, и о неприемлемости, по крайней мере для целей грамматики, концепции языка, основанной на марковском процессе, описанном выше.
3.2.
Язык определяется путем задания его «алфавита» (т. е. конечного множества символов, из которых строятся его предложения) и его грамматически правильных предложений. Прежде чем приступить непосредственно к исследованию английского языка, рассмотрим несколько языков, алфавит которых содержит всего две буквы a и b и предложения которых определяются правилами (10 I—III):
(10) (I) ab, aabb, aaabbb и вообще все предложения, состоящие из n вхождений a, за которыми следуют n вхождений b, и только такие предложения;
(II) аа, bb, abba, baab, аааа, bbbb, aabbaa, abbbba,.. и вообще все предложения, состоящие из цепочки X, за которой следует «зеркальное отражение» X (т. е. Х в обратном порядке), и только такие предложения;
(III) аа, bb, abab, baba, аааа, bbbb, aabaab, abbabb,.. и вообще все предложения, состоящие из цепочки X (содержащей в некоторой комбинации буквы а и Ь), за которой следует точно такая же цепочка X, и только такие предложения.
Легко доказать, что каждый из этих трех языков не является языком с конечным числом состояний. Сходным образом и языки типа (10), в которых буквы а и b не следуют друг за другом, а включены в другие цепочки, также не являются языками с конечным числом состояний при весьма общих условиях[10].
Но ясно, что существуют части английского языка, имеющие структуру вида (10 I) и (10 II). Пусть S1, S2, S3,.. — повествовательные предложения английского языка. Тогда мы можем записать английские предложения так:
(11) (I) If S1, then S,.
„Если S1 то S2“.
(II) Either S3, or S4.
„Либо S,, либо S4“.
(III) The man who said that S5, is arriving today.
„Человек, который сказал, что S5, прибывает сегодня".
В (11 I) мы не можем поставить or вместо then, в (11 II) нельзя заменить or словом then, в (11 III) мы не можем поставить are на место is. В каждом из этих случаев существует некоторая зависимость между словами, стоящими по обе стороны запятой (т. е. if — then, either — or, man — is). Однако между взаимозависимыми словами мы можем вставить повествовательное предложение S1, S3, S5, и это повествовательное предложение может, разумеется, иметь вид одного из (11 I—III). Так, если принять, что в (11 I) S1 есть (11 II), a S3 есть (11 III), мы получим предложение:
(12) if, either (11 III), or S4 then S2
«если, либо (11 III), либо S4, тогда S2»,
a S5 в (11 III) может оказаться снова одним из предложений (11). Отсюда ясно, что в английском языке можно найти предложение a+S1+b, в котором существует зависимость между a и b, затем в качестве S1 выбрать другое предложение типа c+S2+d, в котором существует зависимость между с и d, а затем в качестве S2 выбрать еще одно из предложений такого типа и т. д. Множество предложений, образуемых таким способом (а мы видели из примера (11), что существует несколько возможных вариантов построения, причем (11) далеко не исчерпывает этих возможностей), обладает всеми зеркальными свойствами множества (10 II), исключающими его из совокупности языков с конечным числом состояний. Следовательно, в английском языке можно обнаружить различные модели, не отвечающие условиям конечного числа состояний. Все сказанное здесь является общим указанием на путь, следуя по которому можно представить строгое доказательство утверждения (9), если принять, что такие предложения, как (11) и (12), принадлежат английскому языку, а предложения, противоречащие указанным зависимостям (11) (например, either S1, then S2 «либо S1, то S2» и т. п.), не имеют места в этом языке. Заметим, что многие предложения типа (12) и т. п. выглядят весьма странно и необычно (их часто можно сделать менее странными, подставив вместо if «если» выражения whenever «всякий раз, когда», on the assumption that «в допущении, что», if it is the case that «если верно, что» и т. п. без изменения существа наших замечаний). Все это тем не менее грамматически правильные предложения, построенные по правилам настолько простым и элементарным, что самая примитивная грамматика английского языка непременно должна включать эти предложения. Их можно понять, и мы даже можем весьма просто определить условия, при которых они представляют собой истинные высказывания. Трудно представить себе сколько-нибудь основательные мотивы для исключения их из числа грамматически правильных предложений английского языка. Кажется, таким образом, весьма очевидным, что никакая теория лингвистической структуры, основанная исключительно на марковской и подобных ей моделях, не в состоянии объяснить способность говорящего по-английски производить и понимать новые предложения и вместе с тем отбрасывать некоторые новые последовательности как не принадлежащие языку.
9
По-видимому, ошибка оригинала. Должно быть: «.., поставленному в начале настоящей главы».— Прим. перев.
10
См. мою работу «Three models for the description of language», «I. R. E. Transactions on Information Theory», vol. IT-2 (Proceedings of the symposium on information theory, Sept., 1956), где устанавливаются такие условия и дается доказательство утверждения (9). Заметим, в частности, что множество правильно построенных формул любой формализованной теории математики или логики не представляет собой языка с конечным числом состояний в силу наличия парных скобок и других подобного рода ограничений.