Во-вторых, это модели, рассматривающие в качестве объекта процедуры, ведущие ученого к обнаружению того или иного языкового явления. Такие модели, имитирующие исследовательскую деятельность лингвиста, именуются также моделями исследования. К моделям этого типа относятся модели лингвистической дешифровки, исходной информацией для которых является текст, о котором заранее ничего неизвестно (ни язык (код), использованный для шифровки, ни генетические связи этого языка с уже известными языками, ни область действительности, которая описывается текстом), а все остальные сведения об элементарных единицах текста и законах их сочетания должны быть автоматически получены из текста; и экспериментальные модели, преследующие ту же цель, что и дешифровочные: в них ставится задача перехода от текста к "системе". Однако в дешифровочных моделях лингвист фиксирует поведение объекта в естественных условиях текста, подвергая данные наблюдений только математической обработке, а в экспериментальных моделях лингвист наблюдает материал и в искусственных условиях, подвергая его преобразованиям, таким, как добавление или опущение элементов к данной форме, субституция или трансформация данной формы в другую. Разработкой таких моделей занимались американские дескриптивисты, пытавшиеся создать универсальные алгоритмы открытия грамматик ЕЯ. Система считается в достаточной мере изученной, если мы знаем ее элементарные единицы, классы элементарных единиц и законы сочетания элементов различных классов на всех уровнях анализа, включая семантический.
Исследовательские модели можно подразделить на три класса в зависимости от того, какая информация используется в них в качестве исходной. В моделях первого класса в качестве исходной информации используется только текст, а все сведения о языке, порождающем этот текст, извлекаются исключительно из текстовых данных. Это классические дешифровочные модели. В моделях второго класса считается заданным не только текст, но и множество правильных фраз данного языка. В моделях третьего класса считаются заданными не только текст и множество правильных фраз, но и множество семантических инвариантов.
В-третьих, это модели, рассматривающие в качестве объекта уже готовые лингвистические описания, а не речевую деятельность человека или исследовательскую деятельность. Первый серьезный шаг в разработке моделей этого типа был сделан глоссематиками. Если обычная грамматика является теорией конкретных языковых процессов, то модель третьего типа является метатеорией (теорией теории).
Модели, имитирующие речевую деятельность человека, являются наиболее важным типом собственно лингвистических моделей. По отношению к ним модели второго и третьего типов выполняют вспомогательную роль. Модели, имитирующие исследовательскую деятельность лингвиста, предназначены для того, чтобы объективно обосновать выбор тех понятий, которыми он пользуется при изложении модели первого типа. В идеале они сводят до минимума роль субъективного фактора в исследовании. Таким образом, они в некотором смысле являются мерилом правильности моделей первого типа. Эффективность модели первого типа также можно повысить, не давая объективное обоснование используемым в ней понятиям, а сравнивая её по некоторым критериям, в том числе экспериментальным, с аналогичными моделями. В этом и состоит назначение моделей третьего типа: они обеспечивают систему критериев и теоретических доказательств, с помощью которых из нескольких моделей, формализующих одно и то же явление, мы можем выбрать лучшую [8].
В зависимости от того, какая сторона речевой деятельности - слушание или говорение - является предметом моделирования, модели речевой деятельности делятся на модели анализа и модели синтеза. Моделью анализа называется конечное число правил, способных проанализировать бесконечное число предложений данного языка. Синтаксические аналитические модели получают на "входе" текст, а на "выходе" выдают для каждого предложения запись его синтаксической структуры. Семантические аналитические модели получают на "входе" тот же материал, а на "выходе" выдают смысловую запись (изображение смысла) каждого предложения на специальном семантическом языке. Моделью синтеза называется конечное число правил, способных построить бесконечно большое число правильных предложений. Синтаксические синтетические модели используют в качестве исходной информации запись синтаксической структуры предложений, а на выходе выдают правильные предложения данного языка. Семантические синтетические модели получают на входе смысловую запись некоторого предложения на специальном семантическом языке и выдают на выходе множество предложений ЕЯ, синонимичных данному предложению.
Помимо моделей анализа и синтеза, существуют еще так называемые порождающие модели, занимающие промежуточное положение между моделями анализа и синтеза. Порождающей моделью называется устройство, содержащее алфавит символов и конечное число правил образования и преобразования выражений из элементов этого алфавита, способное построить бесконечное множество правильных предложений данного языка и приписать каждому из них некоторую структурную характеристику [7, с. 43-62].
В зависимости от того, в какой математической форме излагается модель, модели делятся на исчисления и алгоритмы. Исчисление - это система разрешений (позволений), а алгоритм - это последовательность приказов (команд). Обычно исчисление имеет вид математической системы, включающей исходные понятия, первичные утверждения о связях между этими понятиями и правила вывода новых утверждений из уже имеющихся. Исчисление позволяет задать с помощью конечного аппарата все объекты некоторого множества, в том числе бесконечного (например, все предложения данного языка). Это свойство исчислений и должно быть использовано лингвистикой, имеющей дело с очень большими или бесконечными инвентарями единиц. "Исчисление (формальная система) - интерпретируемое в терминах какого-либо фрагмента дедуктивной логики. Различные логические исчисления служат базой для построения <…> "нелогических" (например, математических) теорий" [4]. Под алгоритмом понимается "всякое точное предписание, которое задаёт вычислительный процесс <…>, начинающийся с некоторой совокупности возможных для данного алгоритма исходных данных и направленный на получение полностью определяемого этим исходным данным результата" [11]. Между типологией моделей, описанных нами выше, с одной стороны, и алгоритмами и исчислениями - с другой, существует прямая зависимость. Исследовательские, аналитические и синтетические оформляются обычно в виде алгоритмов, а для изложения порождающих моделей, как правило, используется форма исчислений.
В зависимости от того, какого рода правила используются в модели, различаются вероятностные (статистические) и детерминистские (структурные) модели. Существуют также и смешанные структурно-статистические модели [8]. Естественные языки в большинстве случаев устроены таким образом, что немногие правила охватывают основное множество фактов, но для объяснения остающихся немногих фактов, большей частью непродуктивных, требуется очень большое число правил. Поэтому в ряде случаев бывает выгодней объяснить данную совокупность фактов не детерминистской моделью, которая из-за обилия правил может оказаться излишне громоздкой для выполнения некоторой вполне определенной задачи, а вероятностной моделью, которая обходится меньшим числом чисто статистических правил и потому менее громоздка.
Проведенный анализ моделей языка позволяет сделать вывод о том, что лингвистами было разработано большое количество моделей, основывающихся на различных параметрах, но пока не было выработано однозначного понимания типологии текстовых моделей. Но хотя лингвистическая модель - комплексное понятие со сложной структурой и обширной типологией, лингвисты не оставляют попыток описать ЕЯ с её помощью.
Таким образом, мы видим, что, оставаясь главным средством реализации мысли, язык, тем не менее, не позволяет исследователю увидеть его механизмы непосредственно в действии, что вынуждает лингвиста строить образ объекта, то есть на основе сопоставления исходных и конечных данных выдвигать гипотезу о его возможном устройстве. Взяв свое начало из точных наук, метод моделирования в настоящее время интенсивно распространяется на область гуманитарных наук, в том числе и на лингвистику, где основные механизмы языка, лежащие в основе речевой деятельности человека, не даны лингвисту в прямом наблюдении, поэтому и в современной лингвистике одним из основных средств познания объекта является построение моделей.
Список литературы
1. Афанасьев В.Г. Общество: системность, познание и управление. М.: Политиздат, 1981. 368 с.
2. Большая российская энциклопедия [Электронный ресурс]. URL: http://slovari.yandex.ru/dict/bse (дата обращения: 09.08.2012).
3. Булыгина Т.В., Крылов С.А. Модель // Лингвистический энциклопедический словарь. М.: Советская энциклопедия, 1990. 682 с.
4. Гастев Ю.А. Исчисление [Электронный ресурс] // Большая советская энциклопедия. URL: http://slovari.yandex.ru/ ~книги/БСЭ/Исчисление/ (дата обращения: 13.08.2012).
5. Городецкий Б.Ю. Компьютерная лингвистика: моделирование языкового общения // Новое в зарубежной лингвистике. М.: Прогресс, 1989. Вып. XXIV. С. 5-31.
6. Каменская О.Л. Текст и коммуникация. М.: Высшая школа, 1990. 152 с.
7. Колмогоров А.Н. Математика - наука и профессия. М.: Наука, 1988. 288 с.
8. Машинный перевод и прикладная лингвистика. М.: МГПИИЯ, 1964. Вып. 8. 252 с.
9. Новик И.Б. Вопросы стиля мышления в естествознании. М.: Политиздат, 1975. 144 с.
10. Соссюр Ф. де. Труды по языкознанию. М.: Прогресс, 1977. 696 с.
11. Успенский В.А. Алгоритм [Электронный ресурс] // Большая советская энциклопедия. URL: http://slovari.yandex.ru/Алгоритм/БСЭ/Алгоритм (дата обращения: 24.08.2012).
12. Хомский Н. Логические основы лингвистической теории. Биробиджан: ИП "Тривиум", 2000. 146 с.
13. Шкловский В.С. Вселенная, жизнь, разум. М.: Наука, 1987. 320 с.