←предыдущая следующая→
1 2 3 4 5 6 7 8 9
Содержание
Стр.
1. Введение........................................................................................3
2. Языки и грамматики.....................................................................4
3. Парадигматика и дистрибуция....................................................6
4. Грамматический род.....................................................................8
5. От естественного рода к грамматическому.................................9
6. Грамматические категории рода в естественных языках..........12
7. Мера различия между родами.....................................................20
8. Категория падежа.........................................................................24
9. Определение падежа.....................................................................25
10. Падеж в смысле Колмогорова...................................................27
11. Аналог падежа по Колмогорову в плане выражения...............30
12. Диагностическое множество......................................................32
13. Адекватные контексты...............................................................33
14. Адекватные пары и двузначные падежи...................................35
Литература........................................................................................37
1. Введение
Математическая лингвистика использует для изучения языков два основных типа моделей: порождающие и аналитические. Несколько упрощая ситуацию, можно сказать, что для порождающих моделей исходным пунктом является некоторая формальная грамматика, а исследуемым объектом - язык, порождаемый этой грамматикой. В аналитических моделях - наоборот: здесь исходным материалом служит язык как совокупность предложений, а цель исследования заключается в том, чтобы выявить структуру этих предложений, их составные элементы, а также отношения между этими элементами.
Порождающие модели используются, в основном, для создания искусственных языков, таких как языки программирования или алгоритмические языки, Для таких языков характерна жесткая структура, простые правила без исключений и, как следствие, ограниченность выразительных возможностей. Многочисленные попытки создать таким образом простой язык для межнационального общения заканчивались неудачей именно в силу изначальной “запрограммированной” ограниченности выразительных средств. При этом анализ языка эсперанто, имеющего наибольший успех и распространение, показывает, что его автор Л.Заменгоф, понимая разрушительную опасность простой, но жесткой грамматики, снабдил язык многочисленными лексическими исключениями (см, напр. [1]).
Аналитические модели в этом смысле более приемлемы для изучения естественных языков. Они не навязывают языку жестких правил, а изучают те законы языка, которые складываются в языке тысячелетиями, имеют исключения и могут со временем изменяться вместе с языком. Понятно, что модель - это лишь некоторое приближение к действительности. Так аналитические модели отображают не весь язык, а лишь некоторые его подмножества, удовлетворяющие данной модели. Именно поэтому приводимые в данной работе примеры часто имеют гипотетический и объяснительный, а не конкретно-языковый характер.
Данная работа посвящена категориям рода и падежа, как наиболее интересным с точки зрения грамматики и имеющим давнюю историю изучения.
2. Языки и грамматики
В дальнейшем нам понадобятся следующие понятия и определения лежащие в основе математической лингвистики.
Назовем конечное множество G словарем. Элементами G будут слова. Рассмотрим множество Т всех конечных последовательностей слов из G. Подмножество Ф правильно построенных последовательностей (предложений) из Т назовем языком над G, а содержащиеся в Ф последовательности будем называть отмеченными последовательностями. Порождающей грамматикой языка Ф называется конечное множество правил, задающее все последовательности из Ф (и только эти последовательности) и сопоставляющее каждой последовательности из Ф описание ее структуры, которое определяет, из каких элементов состоит последовательность (их порядок, иерархию и взаимозависимость), а также содержит другую грамматическую информацию, необходимую для того, чтобы определить, как используется и понимается данная последовательность. Такой подход приводит к порождающим моделям языков. Он тесно связан с теорией формальных систем и другими фундаментальными разделами современной математической логики. В данной работе мы будем придерживаться другой точки зрения на построения модели языка, а именно, точки зрения аналитической грамматики.
Аналитическая грамматика языка Ф исходит из предположения, что язык уже задан, и ставит перед собой цель получить описание последовательностей, принадлежащих множеству последовательностей из Ф “изнутри”, т.е. как описание отношений между словами и подпоследовательностями в зависимости от их позиции в последовательности. Такая точка зрения тесно связана с традицией структурной лингвистики, в особенности с традицией так называемой дискриптивной лингвистики, основы которой заложены в работах [2-6].
Для того, чтобы провести ясное различие между порождающей и аналитической грамматикой, рассмотрим следующий пример. Известно, что язык с конечным числом состояний может быть задан несколькими различными способами. Если используется неоднозначная грамматика, то мы можем обнаружить так называемую структурную омонимию, которая возникает в тех случаях, когда одно и то же предложение имеет как бы несколько различных “конструкций”. Вот например, омонимичное английское предложение [7]: They are flying planes, которое, в сущности, является двумя разными предложениями: 1) They (are (flying planes)) и 2) They ((are flying) planes). Грамматические структуры и смысл обоих этих предложений различны. Это различие может быть установлено с помощью грамматики с конечным числом состояний, допускающей неоднозначности. Такая ситуация является типичной для порождающей грамматики.
Рассмотрим теперь другую ситуацию. Назовем последовательности x и y эквивалентными в Ф, если для каждой пары последовательностей u, v выполняется либо uxv О Ф, uyv О Ф, либо uxv О Т - Ф, uyv О Т - Ф. Основной результат, полученный в работе [8], а так же теорема Б а р - Х и л л е л а и Ш а- м и р а [7] говорят, что Ф является языком с конечным числом состояний тогда и только тогда, когда в нем существует конечное число классов эквивалентности. Такое определение языков с конечным числом состояний, которое предполагает знание только их внутренней структуры, является основным принципом аналитической грамматики.
Приведенный выше пример показывает не только различие, но также и тесную связь между этими двумя типами грамматик. Каждая из них дополняет описание, задаваемое другой.
3. Парадигматика и дистрибуция
Существует много проблем, относящихся к языку Ф, которые могут успешно изучаться без какого-либо специального уточнения структуры Ф, т.е. только при том предположении, что Ф - определенное подмножество Т над G, и мы можем сказать для каждой последовательности, принадлежит ли она Ф или нет. Однако для исследования проблем грамматического рода и падежа необходимо иметь больше информации о структуре языка. Такую информацию в аналитических моделях обычно несут разбиения.
Разбиением словаря G называется система непустых взаимно не пересекающихся подмножеств G. Обычной лингвистической интерпретацией разбиения G является выделение парадигм, т. е. совокупностей форм
←предыдущая следующая→
1 2 3 4 5 6 7 8 9