Что такое порождающая грамматика
Порождающая грамматика
Порождающая грамматика
Лингвистика |
Теоретическая лингвистика |
Фонетика |
Фонология |
Морфология |
Синтаксис |
Семантика |
Лексическая семантика |
Прагматика |
Прикладная лингвистика |
Усвоение языка |
Психолингвистика |
Социолингвистика |
Письменность |
Дешифровка |
Типология |
Эволюционная лингвистика |
Сравнительно-историческое языкознание |
Этимология |
Стилистика |
История лингвистики |
Список лингвистов |
Языки мира |
Нерешённые проблемы |
Генеративная лингвистика (трансформационная порождающая грамматика, трансформационно-генеративная грамматика, хомскианская лингвистика) — наиболее популярное с конца 1950-х гг. направление в мировом языкознании, которое ставит целью разработать теорию языка по образцу естественных наук; основоположник и лидер — Ноам Хомский (США).
Цель лингвистической теории по Хомскому заключается в том, чтобы объяснить факт поразительно быстрого усвоения родного языка ребенком на основе явно недостаточного внешнего стимула, то есть той информации, которая может быть извлечена из речи окружающих. В основе языковой способности человека лежит врожденный биологически обусловленный компонент, который определяет основные параметры человеческого мышления и, в частности, структуру языкового знания. При взаимодействии врожденного компонента, общего у всех людей, и внешнего стимула (конкретного языка, на котором говорят окружающие, — английского, русского, китайского и т. д.) у ребенка формируется полноценное владение своим родным языком — процесс, который, по Хомскому, представляет собой частный случай роста живых организмов. В последнее время Хомский упоминает и третий фактор — свойства, которые объединяют язык с другими биологическими и когнитивными системами (например, принцип, согласно которому при построении сложных единиц из простых структура простых единиц не видоизменяется).
В центре внимания генеративной лингвистики находится теория грамматики, но она оказала определяющее влияние также на многие направления в фонологии, семантике, психолингвистике и философии языка. Начиная с 1960-х гг. генеративная лингвистика — безраздельно господствующее лингвистическое направление в США и наиболее влиятельное — в Европе и Азии. Основными оппонентами её выступают сторонники функциональной и когнитивной лингвистики. Описательные методы генеративной лингвистики оказали влияние на развитие формальных направлений в советском языкознании 1960-х гг.; влияние её на российскую лингвистику значительно усилилось начиная со второй половины 1990-х гг.
См. также
Литература
Полезное
Смотреть что такое «Порождающая грамматика» в других словарях:
ПОРОЖДАЮЩАЯ ГРАММАТИКА — См. грамматика, порождающая … Толковый словарь по психологии
порождающая грамматика — Теория, выдвинутая одним из направлений американского структурализма, определяющая грамматику как механизм, “порождающий” правильный с точки зрения норм данного языка текст. На синтаксическом уровне такое “порождение” предложений совершается из… … Словарь лингвистических терминов
Порождающая грамматика — Порождающая грамматика см. Генеративная лингвистика, Математическая лингвистика … Лингвистический энциклопедический словарь
Грамматика составляющих — Генеративная лингвистика … Википедия
Грамматика формальная — (в лингвистике) логическая система, или исчисление, задающая некоторое множество («правильных») цепочек (= конечных последовательностей), построенных из символов заданного конечного набора, называемого «алфавитом» или «основным… … Большая советская энциклопедия
грамматика формальная — В лингвистике: логическая система, или исчисление, задающая некоторое множество ( правильных ) цепочек (= конечных последовательностей), построенных из символов заданного конечного набора, называемого алфавитом или основным (терминальным)… … Словарь лингвистических терминов Т.В. Жеребило
Грамматика формальная — В лингвистике: логическая система, или исчисление, задающая некоторое множество («правильных») цепочек (= конечных последовательностей), построенных из символов заданного конечного набора, называемого «алфавитом» или «основным (терминальным)… … Общее языкознание. Социолингвистика: Словарь-справочник
ГРАММАТИКА, ПОРОЖДАЮЩАЯ (ГЕНЕРАТИВНАЯ) — 1. Область исследований в лингвистике и психолингвистике, которая сосредоточивается на разработке набора формальных правил, с помощью которых можно объяснить язык. 2. Сам набор формальных правил. Дело в том, что грамматика рассматривается, скорее … Толковый словарь по психологии
ГРАММАТИКА — формальная общее название нескольких типов исчислений, используемых в математической лингвистике для описания строения естественных языков (а также иек рых искусственных языков, в частности языков программирования). См. Грамматика порождающая,… … Математическая энциклопедия
Генеративная грамматика
Не снимайте пометку о выставлении на переименование до окончания обсуждения.
Дата постановки — 16 сентября 2012.
Лексикалистская гипотеза • X’-теория • теория связывания • θ-теория • тематическая роль • Move α • след • логическая форма
Функциональная проекция • Merge
Порожда́ющая грамма́тика (генеративная грамматика, англ. generative grammar ) — формализм генеративной лингвистики, связанный с изучением синтаксиса. В рамках подхода порождающей грамматики формулируется система правил, при помощи которых можно определить, какая комбинация слов оформляет грамматически правильное предложение. Термин введён в научный оборот в работах Ноама Хомского в конце 1950-х годов (в ранних версиях теории Хомского использовался термин трансформационная грамматика, англ. transformational grammar ). Хомский утверждает, что многие свойства порождающей грамматики производны от универсальной грамматики.
Сторонники порождающей грамматики придерживаются идеи, что грамматический строй не является результатом коммуникативной функции и не усваивается личностью в процессе обучающего взаимодействия с окружающей средой. Этим порождающая грамматика отличается от подходов, принятых в когнитивной грамматике, функционалистской и бихевиористской теориях.
Правила порождающей грамматики функционируют как алгоритмы, дискретно определяющие наличие или отсутствие грамматической правильности предложения.
См. также
Литература
Основные понятия | Предложение: простое, осложнённое, сложное (сложносочинённое, сложноподчинённое, бессоюзное) • Член предложения • Однородные члены предложения • Клауза • Грамматическая основа • Словосочетание • Зависимость • Синтаксическая связь: сочинительная, подчинительная (согласование, управление, примыкание) • Валентность • Нексус и юнкция • Актант • Сирконстант • Грамматика зависимостей • Грамматика составляющих • Поверхностная структура • Глубинная структура • Трансформация |
---|---|
Персоналии | А. М. Пешковский • Л. Теньер • Н. Хомский • Ч. Филлмор • И. А. Мельчук • Дж. Хокинс |
Синтаксические теории | Категориальная грамматика • Теория «Смысл ⇔ Текст» • Генеративная грамматика: стандартная теория, теория принципов и параметров, минималистская программа |
Связанные понятия | Уровни языка • Грамматика • Морфология • Грамматическая семантика • Семантическая роль • Переходность • Конгруэнтность |
Фонетика и фонология • Морфология • Портал:Лингвистика |
Полезное
Смотреть что такое «Генеративная грамматика» в других словарях:
ГЕНЕРАТИВНАЯ ГРАММАТИКА — [англ. generativ] лингв. структурное (см. СТРУКТУРА) описание высказывания или предложения на основании моделирования его семантического (СЕМАНТИЧЕСКИЙ) строения. Другое название порождающая грамматика. Основоположниками считаются И. Бар Хиллел и … Словарь иностранных слов русского языка
Генеративная грамматика — Генеративная грамматика см. Генеративная лингвистика, Грамматика … Лингвистический энциклопедический словарь
ТРАНСФОРМАЦИОННАЯ (ГЕНЕРАТИВНАЯ) ГРАММАТИКА — См. грамматика, трансформационная и грамматика, генеративная (порождающая) … Толковый словарь по психологии
Генеративная лингвистика — Лингвистика … Википедия
Грамматика — (греч. γραμματική, от γράμμα буква, написание) 1) строй языка, т. е. система морфологических категорий и форм, синтаксических категорий и конструкций, способов словопроизводства. В триаде, организующей язык в целом в его звуковой, лексико… … Лингвистический энциклопедический словарь
Грамматика составляющих — Генеративная лингвистика … Википедия
Генеративная лингвистика — (от ср. лат. generativus рождающий, порождающий) одна из ветвей формального направления в лингвистике, возникшая под влиянием идей Н. Хомского в 50 60‑х гг. 20 в. и основывающаяся на описании языка в виде формальных моделей определённого типа.… … Лингвистический энциклопедический словарь
Грамматика зависимостей — Грамматика зависимостей одна из формальных моделей, разработанных в рамках структурного синтаксиса (наряду с грамматикой составляющих). Представляет строй предложения в виде иерархии компонентов, между которыми установлено отношение… … Википедия
Грамматика Пор-Рояля — «Всеобщая и рациональная грамматика Пор Рояля», «Грамматика Пор Рояля» (фр. Grammaire générale et raisonnée de Port Royal) книга, изданная аббатами монастыря Пор Рояль Антуаном Арно и Клодом Лансло в 1660 году. Разрабатывалась для… … Википедия
ГРАММАТИКА, ПОРОЖДАЮЩАЯ (ГЕНЕРАТИВНАЯ) — 1. Область исследований в лингвистике и психолингвистике, которая сосредоточивается на разработке набора формальных правил, с помощью которых можно объяснить язык. 2. Сам набор формальных правил. Дело в том, что грамматика рассматривается, скорее … Толковый словарь по психологии
Порождающие грамматики Хомского
Небольшое предисловие
Ниже описывается формализм порождающих грамматик Хомского. Методы задания языка с помощью порождающих грамматик сейчас довольно популярны, особенно для машинной обработки компьютерных языков. Но обычно изучение порождающих грамматик в теории трансляторов заканчивается на контекстно-свободных грамматиках. Последние являются довольно узким специальным классом порождающих грамматик Хомского и обычно используются как вид категориальных грамматик (как конкретно это делается, будет показано ниже) для задания синтаксических анализаторов. Последнее обстоятельство только затуманивает понимание подхода Хомского. Дальнейшее изложение предназначено тем, кому интересно понять, в чем состоит этот подход.
Определение порождающей грамматики
Грамматика представляет собой конечное описание формального языка. Формальный язык, в свою очередь, является произвольным множеством цепочек, составленных из символов некоторого конечного алфавита. Произвольность множества здесь понимается в том смысле, что оно может быть бесконечным, конечным или пустым.
Формализм порождающих грамматик Хомского был введен Ноамом Хомским в конце 50-х годов прошлого века. За короткое время этот формализм обрел необычайную популярность. Некоторое время порождающие грамматики рассматривались как панацея — универсальный подход для задания всевозможных языков, в том числе и естественных (т.е. языков, которые люди используют для повседневного общения между собой). Но время показало, что порождающие грамматики для описания естественных языков не очень удобны. Сейчас порождающие грамматики применяются, в основном, для описания синтаксиса формальных языков, подобных языкам программирования и другим компьютерным языкам.
Цепочки в правилах грамматики могут быть составлены из символов двух алфавитов: алфавита терминальных символов (терминалов) и алфавита нетерминальных символов (нетерминалов). Алфавит терминалов обозначают через T. Этот алфавит на самом деле совпадает с алфавитом того формального языка, который задает данная грамматика. Смысл термина «терминальный» состоит в том, что в правилах грамматики в левой части не может быть цепочек, которые составлены только из терминальных символов. Поэтому, если такая цепочка получилась в результате подстановки, то следующая процесс порождения цепочки остановится (terminate). Нетерминальные символы используются в промежуточных порождениях цепочек. Смысл нетерминала в задании алгоритма порождения цепочки может быть самый разный и обычно зависит от типа грамматики, в которой этот символ используется. Различные примеры использования нетерминальных символов будут рассмотрены ниже.
Но один нетерминальный символ всегда имеет один и тот же смысл — он обозначает все цепочки языка. Называется этот нетерминал «начальным нетерминальным символов порождающей грамматики» и обычно обозначается посредством латинского S (start или sentence). В каждой порождающей грамматике обязательно должно быть правило, к которого левая часть состоит из единственного начального нетерминала, иначе в данной грамматике нельзя будет породить даже одной цепочки.
Язык порождающей грамматики
Порождающая грамматика Хомского задает язык посредством конечного числа подстановок цепочек из начального нетерминала грамматики на основе правил порождения. Опишем это чуть более конкретно.
Для иллюстрации приведем два простых примера.
Пример очень простого языка
Язык простых арифметических выражений
Классы грамматик
Ноам Хомский ввел классы грамматик (и соответствующие классы языков) задавая ограничения на вид правил порождающей грамматики. Каждый класс грамматик имеет свою описательную мощность. Описательную мощность класса грамматик можно охарактеризовать, как возможность выражений в правилах грамматики определенных синтаксических отношений. Рассмотрим, как классы грамматик задают синтаксические отношения.
Грамматики типа 3
Синтаксическое отношение, которое задается грамматиками типа 3, можно обозначить термином «быть рядом». Под «рядом» здесь подразумевается как непосредственно рядом, если это задано в правой части какого-то правила порождения, так и опосредованно рядом, через нетерминальные символы в связанных между собой правилах порождения.
Внимательный читатель вероятно заметил, что грамматика типа 3 похожа на попрождающий автомат, в котором роль состояний играют нетерминальный символы грамматики. Одна из возможных интерпретаций этой грамматики — это, действительно, конечный автомат.
Контекстно-свободные грамматики
КС-грамматики задают два вида синтаксических отношений: отношение «быть рядом» и отношение «быть частью» или отношение иерархии. Отношение иерархии наиболее естественно для человеческого ума. Человеку свойственно типизировать вещи, т.е. рассматривать конкретные объекты своего мышления как части какого-то общего типа (класса). Каждая вещь, о которой думает человек, является экземпляром некоторого класса. Например, конкретный стул является экземпляром класса «стул» с соответствующими признаками. Человеческому уму также свойственно разделять типы на подтипы, двигаясь от более конкретных типов к более абстрактным. Скажем, стул есть подтип типа мебель, мебель есть подтип типа предмет, предмет есть подтип типа объект и т.п. Отношение «тип-подтип» и есть отношение иерархии.
КС-грамматика может быть проинтерпретирована как категориальная грамматика, т.е. грамматика типов. Символы грамматики в этом случае могут мыслиться как типы, а правила тогда задают отношение иерархии между типами. Нетерминальные символы выступают как сложные типы, а терминальный символы — как атомарные типы, у которых не может быть подтипов. Такая интерпретация КС-грамматики очень популярна и часто используется при создании трансляторов языков. Но, задавая класс КС-грамматик, Хомский имел ввиду нечто другое.
Контекстно-зависимые грамматики и грамматики без ограничений
В правилах КС-грамматики нетерминальный символ в левой части правила порождения можно менять на правую часть в любом месте порождаемой цепочки, где бы этот символ не встретился. Но иногда хотелось бы различать контексты, в которых находится символ в цепочке, и в одних случаях производить замену символа, в других — нет. Правила КС-грамматики этого делать не позволяют, поэтому для таких случаев необходимы правила специального вида.
С КЗ-грамматикой связан другой класс грамматик — неукорачивающие грамматики. Правила в таких грамматиках должны удовлетворять одному условию: длина правой части должна быть не меньше длины левой части. Так как в правилах КЗ-грамматик имеется условие, чтобы цепочка alpha была непустая, то эти грамматики также являются неукорачивающими. Но, самое интересное состоит в том, что для каждого языка, заданного неукорачивающей грамматикой, может быть придумана КЗ-грамматика, задающая тот же язык. Иначе говоря, классы языков, задаваемых КЗ-грамматиками и неукорачивающими грамматиками, совпадают.
Зачем так необходимо выделять класс языков, задаваемых неукорачивающими грамматиками? Дело в том, что для таких языков можно задать распознающий автомат. Распознающая грамматика конструируется следующим образом: получая на вход цепочку, последовательно делаем порождения, упорядочивая их по длине порождаемой цепочки. Т.к. грамматика неукорачивающая, то таких порождений будет конечное множество и, если среди них не нашлось совпадения с данной на вход цепочкой, то напечатать «нет».
Для грамматики без ограничений на вид правил такой алгоритм распознавания в общем случае построить нельзя. Порождаемая цепочка может вести себя как «гармошка», раздуваясь и сдуваясь в процессе порождения. Поэтому достижение порождаемой цепочкой определенной длины не гарантирует, что далее в процессе порождения не будет получена поданная на вход цепочка.
Приведем в качестве примера порождение цепочки aaaa : S => LS’R => LAS’BR => LAABBR => LABACBR => LBACACBR => LACACBR => LACABCR => LACBACCR => LABCACCR => LBACCACCR => LACCACCR => LCACACCR => LCCAACCR => LCCACACR => LCCACCAR => LCCACCR => LCCCACR => LCCCCAR => LCCCCR => aLCCCR => aaLCCR => aaaLCR => aaaaLR => aaaa
Заключение
Автор надеется, что последний пример ясно продемонстрировал читателю, что порождающая грамматика Хомского представляет собой своего рода программу, предназначенную для генерации цепочек формального языка, задаваемого этой грамматикой. Язык задания программы довольно специфический, соответственно и реализация «программ генерации» (грамматик) требует опыта и определенной привычки в их написании.
Порождающие грамматики Хомского основаны на глубоких идеях и нет ничего удивительного в том, что какие-то подклассы этого вида грамматик генерируют не только определенный вида языков, но и пересекаются с идеями из других разделов математической лингвистики. К таких разделам относятся категориальные грамматики и распознающие автоматы. Конечно, в этом тексте описаны только основные идеи, теория порождающих грамматик шире и глубже, чтобы ее можно было описать в рамках одной статьи.
порождающая грамматика
Смотреть что такое «порождающая грамматика» в других словарях:
Порождающая грамматика — Лингвистика Теоретическая лингвистика Фонетика Фонология Морфология Синтаксис Семантика Лексическая семантика Прагматика … Википедия
ПОРОЖДАЮЩАЯ ГРАММАТИКА — См. грамматика, порождающая … Толковый словарь по психологии
Порождающая грамматика — Порождающая грамматика см. Генеративная лингвистика, Математическая лингвистика … Лингвистический энциклопедический словарь
Грамматика составляющих — Генеративная лингвистика … Википедия
Грамматика формальная — (в лингвистике) логическая система, или исчисление, задающая некоторое множество («правильных») цепочек (= конечных последовательностей), построенных из символов заданного конечного набора, называемого «алфавитом» или «основным… … Большая советская энциклопедия
грамматика формальная — В лингвистике: логическая система, или исчисление, задающая некоторое множество ( правильных ) цепочек (= конечных последовательностей), построенных из символов заданного конечного набора, называемого алфавитом или основным (терминальным)… … Словарь лингвистических терминов Т.В. Жеребило
Грамматика формальная — В лингвистике: логическая система, или исчисление, задающая некоторое множество («правильных») цепочек (= конечных последовательностей), построенных из символов заданного конечного набора, называемого «алфавитом» или «основным (терминальным)… … Общее языкознание. Социолингвистика: Словарь-справочник
ГРАММАТИКА, ПОРОЖДАЮЩАЯ (ГЕНЕРАТИВНАЯ) — 1. Область исследований в лингвистике и психолингвистике, которая сосредоточивается на разработке набора формальных правил, с помощью которых можно объяснить язык. 2. Сам набор формальных правил. Дело в том, что грамматика рассматривается, скорее … Толковый словарь по психологии
ГРАММАТИКА — формальная общее название нескольких типов исчислений, используемых в математической лингвистике для описания строения естественных языков (а также иек рых искусственных языков, в частности языков программирования). См. Грамматика порождающая,… … Математическая энциклопедия
ГРАММАТИКА ПОРОЖДАЮЩАЯ
грамматика Хомского,- один из видов формальной грамматики;представляет собой, по существу, частный случай исчисления Поста (см. Поста каноническая система). Систематич. изучение Г. п. было начато в 50-х гг. 20 в. Н. Хомскнм (N. Chomsky), к-рый указал пути ее приложения в лингвистике и выделил наиболее важные для этих приложений классы Г. п.- грамматики составляющих, грамматики бесконтекстные, грамматики автоматные;те же классы оказались особенно интересными и с чисто математич. точки зрения.
Емкость грамматики Г определяется аналогично с заменой длины вывода
наибольшей из длин цепочек
Если — нек-рое множество полных выводов в грамматике Г и
— множество заключительных цепочек выводов, принадлежащих
, то
. Если при этом
задано эффективно, то говорят, что задан нек-рый способ управления выводом в Г. Изучение способов управления выводом существенно для приложений, так как возможность использовать не произвольные, а лишь нек-рые определенные выводы лучше отвечает ситуации, имеющей место в естественном языке. Управление выводом может задаваться, в частности, наложением ограничений на последовательности применяемых в выводе правил (напр., множество таких «допустимых» последовательностей правил может само порождаться нек-рой Г. п. Г’; в этом случае язык определяется упорядоченной парой Г. п.
, к-рую наз. обобщенной грамматикой), или на вид входящих в выводы цепочек, или к.-л. более сложным способом (напр., применяемое на очередном шаге правило может зависеть от вида цепочки, полученной на предыдущем шаге).
При изучении Г. п. естественно возникают алгорит-мич. проблемы. Если — свойство языков,
— нек-рый класс грамматик, и если существует алгоритм, позволяющий по любой грамматике
распознать, обладает ли язык
свойством
, то говорят, что
распознаваемо в классе
В классе всех Г. п. ни одно нетривиальное свойство (т. е. такое, что в соответствующем классе языков есть как языки, обладающие этим свойством, так и не обладающие им) не распознаваемо. Аналогичным образом можно говорить о распознаваемых в нек-ром классе грамматик отношениях. Возникают также проблемы иного типа, напр, о существовании для данной грамматики Г алгоритма, позволяющего по любым п цепочкам
в ее основном алфавите найти значение заданного предиката
для
,
В частности, если
означает
, то речь идет об алгоритме для распознавания принадлежности произвольной цепочки языку
. Если для грамматики Г такой алгоритм есть, существенное значение имеет вопрос о сложности его работы, или, как говорят, о сложности распознавания языка
.
См. также Грамматика составляющих, Грамматика бесконтекстная, Грамматика линейная, Грамматика автоматная, Математическая лингвистика.
Лит.:[1] Гросс М., Лантен А., Теория формальных грамматик, пер. с франц., М., 1971; [2] Гладкий А. В., Формальные грамматики и языки, М., 1973; [3] Норсrоft J. Е., Ullmаn J. D., Formal languages and their relation to automata, Reading (Mass.), 1969; [4] Гладкий А. В., Диковский А. Я., в кн.: Итог» науки и техники. Теория вероятностей. Математическая статистика. Теоретическая кибернетика, 1972, т. 10, с. 107-42; [5] Маслов А. Н., Стоцкий Э. Д., в кн.: Итоги науки и техники. Теория вероятностей. Математическая статистика. Теоретическая кибернетика, 1975, т. 12, с. 155-87; [6] Стоцкий Э. Д., «Проблемы передачи информации», 1971, т. 7, М 1, с. 87-101; № 3, с. 87-102. А. В. Гладкий.