Контекстно-свободная грамматика — Википедия
Контекстно-свободная грамматика (КС-грамматика, бесконтекстная грамматика) — частный случай формальной грамматики (тип 2 по иерархии Хомского), у которой левые части всех продукций являются одиночными нетерминалами (объектами, обозначающими какую-либо сущность языка (например: формула, арифметическое выражение, команда) и не имеющими конкретного символьного значения). Смысл термина «контекстно-свободная» заключается в том, что есть возможность применить продукцию к нетерминалу, причём независимо от контекста этого нетерминала (в отличие от общего случая неограниченной грамматики Хомского).
Язык, который может быть задан КС-грамматикой, называется контекстно-свободным языком или КС-языком.
По сути КС-грамматика — другая форма БНФ.
КС-грамматики находят большое применение в информатике. Ими задаётся грамматическая структура большинства языков программирования, структурированных данных и т. д. (см. грамматический анализ)
Для разбора КС-грамматики достаточно автомата с магазинной памятью, для разбора не-КС-грамматик может потребоваться полная машина Тьюринга.
Существуют два разных класса распознавателей, их названия связаны с порядком построения дерева вывода. Как правило, все распознаватели читают входную цепочку символов слева направо, поскольку предполагается такая нотация в написании исходного текста программ.
Нисходящие распознаватели[править | править код]
Нисходящие распознаватели, которые порождают цепочки левостороннего вывода и строят дерево вывода сверху вниз.
Они используют модификации алгоритма с подбором альтернатив. При их создании применяется метод, который позволяет однозначно выбрать одну и только одну альтернативу на каждом шаге работы МП-автомата (шаг «выброс» в этом автомате всегда выполняется однозначно).
Восходящие распознаватели[править | править код]
Восходящие распознаватели, которые порождают цепочки правостороннего вывода и строят дерево вывода снизу вверх.
Восходящие распознаватели используют модификации алгоритма «сдвиг-свертка» (или «перенос-свертка», что то же самое). При их создании применяются методы, которые позволяют однозначно выбрать между выполнением «сдвига» («переноса») или «свертки» на каждом шаге работы расширенного МП-автомата, а при выполнении свертки однозначно выбрать правило, по которому будет производиться свертка. Алгоритм «сдвиг-свертка».
Примеры КС-грамматик и соответствующих им КС-языков:
Слово с переворотом[править | править код]
Задаётся формулой L={w∈Σ∗|w=wR}{\displaystyle L=\{w\in \Sigma ^{*}|w=w^{R}\}}
- Терминалы: буквы алфавита Σ{\displaystyle \Sigma };
- Нетерминал: S{\displaystyle S};
- Продукции: S→αSα|α|ε,α∈Σ{\displaystyle S\rightarrow \alpha S\alpha \,|\,\alpha \,|\,\varepsilon ,\alpha \in \Sigma }
- Начальный нетерминал — S{\displaystyle S}.
Вложенные скобки[править | править код]
Этой грамматикой задаётся язык вложенных скобок {(n)n∣n≥0}{\displaystyle \{\left(^{n}\right)^{n}\mid n\geq 0\}}.
Язык Дика[править | править код]
Арифметическое выражение[править | править код]
- Терминалы: ‘+’, ‘-‘, ‘*’, ‘/’, ‘(‘, ‘)’, ‘x’
- нетерминалы: <выражение>, <слагаемое>, <множитель>
- продукции:
<выражение> → <выражение> + <слагаемое>, <выражение> → <выражение> - <слагаемое>, <выражение> → <слагаемое>, <слагаемое> → <слагаемое> * <множитель>, <слагаемое> → <слагаемое> / <множитель>, <слагаемое> → <множитель>, <множитель> → ( <выражение> ), <множитель> → x,
- начальный нетерминал: <выражение>.
Этой грамматикой задаётся арифметическое выражение, содержащее простейшие арифметические действия над переменной x. Если заменить терминал ‘x’ на нетерминал <число>, то получится грамматика, задающая арифметическое выражение, состоящее из операций сложения, вычитания, умножения и деления над целыми числами.
Ограничения возможностей КС-грамматик[править | править код]
Не все языки могут быть заданы с помощью КС-грамматик. Проще всего это можно доказать так: КС-грамматики образуют счётное множество, в то время как мощность множества всех языков − континуум. Конструктивное доказательство этого же факта может быть получено, например, на основе того, что язык {anbncn | n≥1} не является контекстно-свободным; однако короткого доказательства последнего утверждения, по-видимому, не существует: опубликованные доказательства опираются на теорему о разрастании для контекстно-свободных языков.
Грамматика сложения деревьев — обобщает контекстно-свободную грамматику тем, что элементарной единицей в правилах вывода являются деревья, а не отдельные символы.
- Джон Хопкрофт, Раджив Мотвани, Джеффри Ульман. Введение в теорию автоматов, языков и вычислений = Introduction to Automata Theory, Languages, and Computation. — М.: «Вильямс», 2002. — С. 528. — ISBN 0-201-44124-1.
- Белоусов А. И., Ткачёв С. Б. Дискретная математика. — М.: МГТУ, 2006. — 743 с. — ISBN 5-7038-2886-4.
Формальная грамматика — Википедия
Формальная грамматика или просто грамматика в теории формальных языков — способ описания формального языка, то есть выделения некоторого подмножества из множества всех слов некоторого конечного алфавита. Различают порождающие и распознающие (или аналитические) грамматики — первые задают правила, с помощью которых можно построить любое слово языка, а вторые позволяют по данному слову определить, входит ли оно в язык или нет.
- Терминал (терминальный символ) — объект, непосредственно присутствующий в словах языка, соответствующего грамматике, и имеющий конкретное, неизменяемое значение (обобщение понятия «буквы»). В формальных языках, используемых на компьютере, в качестве терминалов обычно берут все или часть стандартных символов ASCII — латинские буквы, цифры и спецсимволы.
- Нетерминал (нетерминальный символ) — объект, обозначающий какую-либо сущность языка (например: формула, арифметическое выражение, команда) и не имеющий конкретного символьного значения.
Словами языка, заданного грамматикой, являются все последовательности терминалов, выводимые (порождаемые) из начального нетерминала по правилам вывода.
Чтобы задать грамматику, требуется задать алфавиты терминалов и нетерминалов, набор правил вывода, а также выделить в множестве нетерминалов начальный.
Итак, грамматика определяется следующими характеристиками:
- Σ{\displaystyle \Sigma } — набор (алфавит) терминальных символов
- N — набор (алфавит) нетерминальных символов
- P — набор правил вида: «левая часть» →{\displaystyle \rightarrow } «правая часть», где:
- «левая часть» — непустая последовательность терминалов и нетерминалов, содержащая хотя бы один нетерминал
- «правая часть» — любая последовательность терминалов и нетерминалов
- S — стартовый (или начальный) символ грамматики из набора нетерминалов.
Вывод[править | править код]
Выводом называется последовательность строк, состоящих из терминалов и нетерминалов, где первой идет строка, состоящая из одного стартового нетерминала, а каждая последующая строка получена из предыдущей путём замены некоторой подстроки по одному (любому) из правил. Конечной строкой является строка, полностью состоящая из терминалов, и следовательно являющаяся словом языка.
Существование вывода для некоторого слова является критерием его принадлежности к языку, определяемому данной грамматикой.
Типы грамматик[править | править код]
По иерархии Хомского, грамматики делятся на 4 типа, каждый последующий является более ограниченным подмножеством предыдущего (но и легче поддающимся анализу):
Кроме того, выделяют:
- Неукорачивающиеся грамматики. Каждое правило такой грамматики имеет вид α→β{\displaystyle \alpha \rightarrow \beta }, где |α|⩽|β|{\displaystyle |\alpha |\leqslant |\beta |}. Длина правой части правила не меньше длины левой
- Линейные грамматики. Каждое правило такой грамматики имеет вид A→uBv{\displaystyle A\rightarrow uBv}, или A→u{\displaystyle A\rightarrow u}, то есть в правой части правила может содержаться не более одного вхождения нетерминала[2].
Применение[править | править код]
Пример — арифметические выражения[править | править код]
Рассмотрим простой язык, определяющий ограниченное подмножество арифметических формул, состоящих из натуральных чисел, скобок и знаков арифметических действий. Стоит заметить, что здесь в каждом правиле с левой стороны от стрелки ⇒{\displaystyle \Rightarrow } стоит только один нетерминальный символ. Такие грамматики называются контекстно-свободными.
Терминальный алфавит:
Σ{\displaystyle \Sigma } = {'0','1','2','3','4','5','6','7','8','9','+','-','*','/','(',')'}
Нетерминальный алфавит:
{ ФОРМУЛА, ЗНАК, ЧИСЛО, ЦИФРА }
Правила:
1. ФОРМУЛА →{\displaystyle \to } ФОРМУЛА ЗНАК ФОРМУЛА (формула есть две формулы, соединенные знаком) 2. ФОРМУЛА →{\displaystyle \to } ЧИСЛО (формула есть число) 3. ФОРМУЛА →{\displaystyle \to } ( ФОРМУЛА ) (формула есть формула в скобках) 4. ЗНАК →{\displaystyle \to } + | - | * | / (знак есть плюс или минус, или умножить, или разделить) 5. ЧИСЛО →{\displaystyle \to } ЦИФРА (число есть цифра) 6. ЧИСЛО →{\displaystyle \to } ЧИСЛО ЦИФРА (число есть число и цифра) 7. ЦИФРА →{\displaystyle \to } 0 | 1 | 2 | 3 | 4 | 5 | 6 | 7 | 8 | 9 (цифра есть 0 или 1, или ... 9 )
Начальный нетерминал:
ФОРМУЛА
Вывод:
Выведем формулу (12+5) с помощью перечисленных правил вывода. Для наглядности, стороны каждой замены показаны попарно, в каждой паре заменяемая часть подчеркнута.
- ФОРМУЛА →3{\displaystyle {\stackrel {3}{\to }}} (ФОРМУЛА)
- (ФОРМУЛА) →1{\displaystyle {\stackrel {1}{\to }}} (ФОРМУЛА ЗНАК ФОРМУЛА)
- (ФОРМУЛА ЗНАК ФОРМУЛА) →4{\displaystyle {\stackrel {4}{\to }}} (ФОРМУЛА + ФОРМУЛА)
- (ФОРМУЛА + ФОРМУЛА) →2{\displaystyle {\stackrel {2}{\to }}} (ФОРМУЛА + ЧИСЛО)
- (ФОРМУЛА + ЧИСЛО) →5{\displaystyle {\stackrel {5}{\to }}} (ФОРМУЛА + ЦИФРА)
- (ФОРМУЛА + ЦИФРА) →7{\displaystyle {\stackrel {7}{\to }}} (ФОРМУЛА + 5)
- (ФОРМУЛА + 5) →2{\displaystyle {\stackrel {2}{\to }}} (ЧИСЛО + 5)
- (ЧИСЛО + 5) →6{\displaystyle {\stackrel {6}{\to }}} (ЧИСЛО ЦИФРА + 5)
- (ЧИСЛО ЦИФРА + 5) →5{\displaystyle {\stackrel {5}{\to }}} (ЦИФРА ЦИФРА + 5)
- (ЦИФРА ЦИФРА + 5) →7{\displaystyle {\stackrel {7}{\to }}} (1 ЦИФРА + 5)
- (1 ЦИФРА + 5) →7{\displaystyle {\stackrel {7}{\to }}} (1 2 + 5)
Порождающие грамматики — не единственный вид грамматик, однако наиболее распространенный в приложениях к программированию. В отличие от порождающих грамматик, аналитическая (распознающая) грамматика задает алгоритм, позволяющий определить, принадлежит ли данное слово языку. Например, любой регулярный язык может быть распознан при помощи грамматики, задаваемой конечным автоматом, а любая контекстно-свободная грамматика — с помощью автомата со стековой памятью. Если слово принадлежит языку, то такой автомат строит его вывод в явном виде, что позволяет анализировать семантику этого слова.
- Белоусов А. И., Ткачев С. Б. Дискретная математика. — М.: МГТУ, 2006. — 743 с. — ISBN 5-7038-2886-4.
- Гладкий А. В. Формальные грамматики и языки. — М.: Наука, 1973.
- Касьянов В. Н. Лекции по теории формальных языков, автоматов и сложности вычислений. — Новосибирск: НГУ, 1995. — 112 с.
- Хомский Н., Миллер Дж. Введение в формальный анализ естественных языков // Кибернетический сборник / Под ред. А.А.Ляпунова и О.Б.Лупанова. — М.: Мир, 1965.
- Гросс М., Лантен А. Теория формальных грамматик. — М.: Мир, 1971. — 296 с.
Русские грамматики (книги) — Википедия
Русские грамматики или грамматики русского языка — научные произведения, описывающие грамматический строй русского языка.
Первые грамматики церковно-славянского языка[править | править код]
«Грамматика» Смотрицкого. Издание 1721 года. МоскваДолгое время основой книжной учености и словесности были старославянский язык (в разных изводах), поэтому книжники в первую очередь создавали грамматики церковно-славянского языка для обучения в церковных учебных заведениях (монастырских или братских школах и гимназиях). Первые попытки издания церковнославянской грамматики имели место в типографиях на белорусских и украинских землях Речи Посполитой. Первой из них можно считать Грамматику, вышедшую 1586 году в Вильне в типографии Мамоничей. В 1591 году во Львове вышла «Грамматика доброглаголиваго эллино-словенскаго языка». В последующем главным центром подготовки и издания грамматики стали белорусские типографии в Вильне (типография Мамоничей, братская типография). Так, около 1593 года в типографии Мамоничей вышли два издания Грамматики. В 1596 году в Вильне была издана «Грамматика славенска» Лаврентия Зизания. В 1618-1621 гг. Грамматика (Букварь) трижды издавалась для нужд униатов в виленской типографии Л. Мамонича.
В 1619 году в Евье близ Вильны была напечатана знаменитая грамматика Мелетия Смотрицкого («Грамматики славенския правилное синтагма…»), которая на многие годы являлась главным учебником церковнославянского языка. По этому учебнику, в частности, учился Ломоносов.
Единственным изданием Грамматики в Московском государстве в 16-17 веках стало переиздание евьевской Грамматики М. Смотрицкого, которое вышло в 1648 году[1].
Первой грамматикой именно русского языка является вышедшая в 1696 году в Оксфорде Grammatica Russica Генриха Лудольфа на латинском языке. По сути эта была первая попытка создания научного описания русского разговорного языка. В грамматике впервые содержалось указание на различия между старославянским и русским языками, перечислялись особенности русского произношения, приводились образцы склонения существительных, прилагательных и местоимений, достаточно подробно объяснялись особенности глагола и приводилась глагольная парадигма. В составе грамматики был краткий русско-латинско-немецкий разговорник, содержащий повседневные фразы, и маленький словарик. Орфография во многом отражала разговорную речь. Однако эта книга по структуре повторяла грамматики старославянского языка.
XVIII век[править | править код]
Немецкое издание нем. Russische Grammatik грамматики ЛомоносоваПервую попытку систематизировать знания о русском языке и составить русскую грамматику для русских предпринял голландский просветитель и издатель белорусского происхождения Илья Копиевич. В 1706 году в пригороде Данцига Штольценберге в типографии Х.-Ф. Гольца он издал «Руковедение в грамматыку во славяноросийскую или московскою ко оутреблению оучащыхся языка московскаго» (лат. Manuductio in grammaticam in sclavonico Rosseanam seu Moscoviticam).
Следующей инициативой была работа русского учёного-полимата Василия Адодурова (1709—1780). В своём трактате, написанном им предположительно в 1739—1740 годах, он описывал прежде всего правила орфографии и пунктуации и употребление тех или иных букв, однако в ней содержались некоторые замечания по поводу произношения, склонения, спряжения, синтаксиса. Трактат являлся расширенным вариантом его заметки о русском языке, изданной в 1731 году. Трактат Адодурова был переведен на шведский язык Михаилом Грёнингом и издан в 1750 году. Однако работа Адодурова так и осталось незавершённой и неизданной, и была практически забыта, а перевод Грёнинга был малоизвестен. Более чем через 200 лет научное издание найденной рукописи было предпринято Борисом Успенским.
Более успешной грамматикой на русском языке была «Российская грамматика» Михаила Ломоносова (1711—1765), опубликованная в 1755 году. В ней со всей полнотой описывался русский язык того времени, впервые фактически устанавливалась норма литературного языка. Она была разделена на несколько тематических глав: о человеческом слове вообще, о чтении и правописании, об имени, о глаголе, о служебных частях речи, о сочинении частей слова (то есть синтаксисе). Она была по достоинству оценена соотечественниками и множество раз переиздавалась. Грамматика Ломоносова оставалась важнейшим справочником русского языка на протяжении XVIII века. В 1764 году работа Ломоносова была переведена на немецкий язык и вышла под названием нем. Rußische Grammatick verfaßet von Herrn Michael Lomonoßov[2].
В 1771 Антоном Барсовым (1730—1791) была составлена книга «Краткие правила российской грамматики». Из всех работ того времени она являлась наиболее полным описанием русского языка и вместе с тем уникальным произведением русской лингвистической мысли. Однако она, так же как и грамматика Адодурова, осталась в рукописи и была опубликована лишь в 1981 году.
Кроме того, в XVIII веке было создано несколько примечательных произведений, посвященных русскому языку. Например, в 1769 году Кургановым была издана «Российская универсальная грамматика» или «Письмовник». Она помимо общедоступных объяснений русской грамматики имела приложения с разными учебными и назидательными текстами, баснями и т. п. Несмотря на свою неполноту, эта книга выдержала 18 переизданий и была популярным учебным пособием по русскому языку тех времён.
XIX век[править | править код]
Начало века ознаменовалось выпуском Императорской академией наук в 1802 году академической грамматики. Так же как и другие, она делилась на несколько частей: орфография, грамматика, синтаксис. Грамматика выдержала 3 издания.
XIX век в целом охарактеризовался расцветом отечественной филологии и прежде всего русистики. Одна за другой издаются очень подробные грамматики и научные работы по русскому языку. Особое значение в первой половине XIX века имели труды Н. И. Греча (1787—1867). В 1827 году им была выпущена «Пространная грамматика Русского языка» (позже была переведена на французский язык), «Практическая грамматика русского языка», а также сокращённая «Краткая русская грамматика». Кроме того он написал несколько учебных пособий по русскому языку.
Почти параллельно с Гречем в 1830 году известным языковедом А. Х. Востоковым (1781—1864) была издана «Русская грамматика».
XX век[править | править код]
- Половцов В. А. Краткая летопись грамматической деятельности в России. — СПб., 1847. — 78 с.
- Курганов Н. Г. Писмовник, содержащий в себе науку российскаго языка со многим присовокуплением разнаго учебнаго и полезнозабавнаго вещесловия. — Изд. 8-е. — СПб.: Тип. И. Глазунова, 1809.
- Буслаев Ф. И. Опыт исторической грамматики русского языка. — М., 1858.
- Буслаев Ф. И. Историческая грамматика русскаго языка. — Изд. 2-е. — М.: Катков и К°, 1863.
- Греч Н. И. Пространная русская грамматика. — Изд. 2-е. — М., 1830.
- Востоков А. Х. Русская грамматика. — СПб.: Тип. И. Глазунова, 1831.
- Успенский Б. А. Первая русская грамматика на родном языке: (Доломоносовский период отечественной русистики) / Институт русского языка АН СССР. — М.: Наука, 1975. — 232 с. — 11 000 экз. (обл.)
- Барсов А. А. Российская грамматика / Подготовка текста и текстологический комментарий М. П. Тоболовой; Под ред. и с предисл. Б. А. Успенского. — М.: Изд-во Моск. ун-та, 1981. — 776 с.
- Stankiewicz, Edward. Grammars and Dictionaries of the Slavic Languages from the Middle Ages Up to 1850: An Annotated Bibliography. — Berlin: Walter de Gruyter, 1984. — P. 113—146. — ISBN 9783110097788.
Вид (грамматика) — это… Что такое Вид (грамматика)?
- Вид (грамматика)
Вид, или аспект, — грамматическая категория, выражающая то, как говорящий осмысливает протекание действия во времени (например, видит он действие как продолженное, одномоментное, постоянное и проч.). С точки зрения морфологии вид может быть как словоизменительной (как часто считается для русского и других славянских языков), так и словоклассифицирующей категорией. Во многих языках вид не имеет самостоятельного выражения: вместо этого определённые видовые значения связаны с разными временными формами. Категория вида близка категории способа действия (Aktionsart, акциональности), связанной с тем, какая информация о способе протекания действия содержится в лексическом значении глагола.
Вид в русском языке
В русском языке, как и во многих других славянских, вид является грамматической категорией: это значит, что каждый глагол охарактеризован как относящийся либо к совершенному, либо к несовершенному виду (за исключением небольшого числа двувидовых глаголов типа «жениться», «обжаловать»). Кроме собственно аспектуальных значений, виды различаются и морфологически: присоединение одного и того же набора окончаний даёт будущее время в случае глаголов совершенного вида и настоящее — в случае несовершенного вида (а будущее образуется аналитической конструкцией с глаголом «быть»).
В русском языке существует множество видовых пар — пар глаголов, значения которых совпадают с точностью до вида. Для их определения иногда используется так называемый критерий Маслова (названный в честь предложившего его Ю. С. Маслова), связанный с возможностью замены одного глагола другим (например, при пересказе событий в настоящем времени).
Смотри также
Аорист
Ссылки
Литература
- Маслов, Ю. С. Избранные труды. Аспектология. Общее языкознание. М.: Языки славянской культуры, 2004
- Шмелёв, А. Д., Зализняк, Анна А. Введение в русскую аспектологию. М., 2000
- Dahl, Östen Tense and Aspect Systems. Oxford: Blackwell’s, 1985
Wikimedia Foundation. 2010.
- Вид (биология)
- Вид Толедо
Смотреть что такое «Вид (грамматика)» в других словарях:
ГРАММАТИКА БЕСКОНТЕКСТНАЯ — грамматика контекстно свободная, КС грамматика, грамматика составляющих, все правила к рой имеют вид где А вспомогательный символ и непустая цепочка (так наз. бесконтекстные правила). Языки, порождаемые такими грамматиками, наз. бесконтекстными… … Математическая энциклопедия
ГРАММАТИКА СОСТАВЛЯЮЩИХ — грамматика непосредственно составляющих, НС грамматика, грамматика контекстная, частный случай грамматики порождающей, когда каждое ее правило имеет вид , где цепочки в алфавите и 0 непуста. Каждый шаг вывода в Г. с. состоит в замене одного… … Математическая энциклопедия
ГРАММАТИКА ПОРОЖДАЮЩАЯ — грамматика Хомского, один из видов формальной грамматики;представляет собой, по существу, частный случай исчисления Поста (см. Поста каноническая система). Систематич. изучение Г. п. было начато в 50 х гг. 20 в. Н. Хомскнм (N. Chomsky), к рый… … Математическая энциклопедия
Грамматика, разбирающая выражение — (РВ грамматика) это тип аналитической формальной грамматики, описывающей формальный язык в терминах набора правил для распознавания строк языка. Грамматика, разбирающая выражение, в сущности, представляет собой синтаксический анализатор… … Википедия
ГРАММАТИКА АВТОМАТНАЯ — грамматика конечно автоматная, грамматика с конечным числом состояний, грамматика бесконтекстная, каждое правило к рой имеет вид или где вспомогательные символы, а один из основных символов. (Иногда допускаются также правила вида где пустая… … Математическая энциклопедия
ГРАММАТИКА — (от греч. gramma – письменный знак, черта, линия). 1. Система объективно действующих в языке правил изменения слов, образования словоформ и соединения слов в словосочетания и предложения. 2. Раздел лингвистики, содержащий учение о формах… … Новый словарь методических терминов и понятий (теория и практика обучения языкам)
Грамматика непальского языка — (непали) Письменность В непальском языке (как и в языках хинди, маратхи и др.) используется деванагари слоговое письмо санскрита , состоящее из 56 знаков. Для его транскрипции латинскими буквами приняты следующие отличительные (диакритические)… … Википедия
Грамматика формальная — Формальная грамматика или просто грамматика в теории формальных языков способ описания формального языка, то есть выделения некоторого подмножества из множества всех слов некоторого конечного алфавитa. Различают порождающие и распознающие (или… … Википедия
Грамматика турецкого языка — Турецкий язык относится к агглютинативным (или «приклеивающим») языкам и, тем самым, существенно отличается от индоевропейских. Содержание 1 Морфология 1.1 Гармония гласных 1.2 Число … Википедия
Вид (лингвистика) — У этого термина существуют и другие значения, см. Вид. Вид, или аспект, грамматическая категория, выражающая то, как говорящий осмысливает протекание действия во времени (например, видит он действие как продолженное, одномоментное, постоянное и… … Википедия
Грамматика составляющих — Википедия. Что такое Грамматика составляющих
Составля́ющая (англ. constituent), в лингвистической грамматике — структурная единица (отрезок) предложения, целиком составленная из более тесно связанных друг с другом составляющих меньшего размера.
Грамматика составляющих (метод составляющих; англ. constituency grammar, phrase structure grammar) основана на постулате, согласно которому всякая сложная грамматическая единица складывается из двух более простых и не пересекающихся единиц, называемых её непосредственными составляющими (англ. immediate constituent).
Составляющая, включающая более одного слова, называется группой (англ. phrase), а слово, соответствующее корневому узлу в дереве зависимостей, описывающем группу, — вершиной (англ. head) группы.
Представление синтаксической структуры предложения в виде иерархии непосредственных составляющих используется в различных вариантах в формальных моделях языка, в частности в генеративной лингвистике Н. Хомского.
Формальное определение
Пусть S — кортеж (линейно упорядоченное множество) слов.[1]Система составляющих на S — это множество C отрезков S, которое содержит в качестве элементов как само S, так и каждое слово, входящее в S, и построено таким образом, что любые два отрезка, входящие в C, либо не пересекаются, либо один из них содержится в другом. Элементы такого множества C называются составляющими.
Говорят, что составляющая A доминирует над составляющей B (A включает в себя B или B вложено в A), если B является частью (подмножеством) A и B отлично от A.
B является непосредственной составляющей A (B непосредственно вложена в A или A непосредственно доминирует над B) тогда и только тогда, когда:
- A и B — составляющие системы C;
- A доминирует над B;
- в C нет составляющей, которая доминирует над B и над которой доминирует A.
Виды синтаксических групп
Классификация групп может основываться на частеречной принадлежности их вершин. Такие классы называются фразовыми категориями, или классами групп (англ. phrasal categories), среди которых выделяются:
Некоторые фразовые категории, в частности именная группа и предложение, обладают свойством рекурсивности — способностью включать в себя составляющие той же фразовой категории.
См. также
Примечания
- ↑ Систему составляющих можно также рассматривать на множестве морфов слова или всего предложения.