Биография Ноама Хомского

Аврам Ноам Хомский
Родился 7 декабря 1928, Филадельфия, штат Пенсильвания, США) — американский лингвист, политический публицист и теоретик. Институтский профессор лингвистики Массачусет-
ского технологического института,
автор классификации формальных
языков, называемой иерархией
Хомского.

Вклад в лингвистику
«Морфология современного иврита» (1951)(не была опубликована)
«Синтаксические структуры» (1957)
«Логическая структура лингвистической теории» 1955 года (переиздана в 1975)

Генеративная лингвистика

Множество грамматически правильных предложений на любом естественном языке бесконечно.
2. Ребенок достаточно быстро овладевает грамматикой родного языка, т.е. становится способен отличить грамматически правильное предложение на этом языке от неправильного.

Даже при богатом опыте речевого общения множество всех предложений, когда-либо услышанных ребенком в речи взрослых, является конечным – в отличие от числа грамматически правильных предложений на языке.
противоречие

В русских сочетаниях имени с количественным числительным обычный порядок слов –
«числительное + существительное»
десять комнат
Однако при обозначении примерного количества используется обратный порядок –
комнат десять
Однако при словах миллион и триллион такой порядок запрещен:
комнат миллион, комнат триллион

Хомского интересовало каким образом носитель языка, не владеющий лингвистической теорией, способен верно идентифицировать эти запреты.

Лингвистические теории
Функциональная лингвистика
Генеративная грамматика
ребёнок, получая определенный языковой опыт, «достраивает» на его основе грамматику, используя опыт, полученный им в других сферах
в сознании человека имеется особый врождённый компонент, обеспечивающий овладение грамматикой языка, получая «на входе» ограниченные данные языкового опыта
языковая компетенция

«Языковая компетенция», постулируемая Хомским и его последователями, – это система представлений о грамматике языка, которые присущи человеку от рождения, иначе говоря, свойственны человеку как биологическому виду вне зависимости от его опыта, среды обитания и т.д.
Из такого определения следует, что языковая компетенция предопределяет лишь универсальные свойства языка, т.е. свойства, общие для всех языков мира.

Языковая компетенция
базовый компонент,
т.е. свод правил, отвечающих за образование некоторого ограниченного количества синтаксических структур;
например,
всякое предложение включает две составляющие –
группу подлежащего и группу сказуемого;
трансформации,
т.е. правила, позволяющие образовывать новые синтаксические структуры на базе структур, за образование которых отвечают правила базового компонента;

Ранняя порождающая грамматика (трансформационная грамматика)
представляла собой систему правил, которые позволяли построить («породить») все имеющиеся в языке синтаксические структуры без четкого разграничения между правилами, присутствующими в сознании человека от рождения, и правилами, которые могут быть выведены ребенком из языкового опыта.
В конце 1960-х годов обнаружилось, что
большинство трансформаций не универсально!

Развитие порождающей грамматики в 1970-е – начале 1990-х годов
почти всецело было подчинено поиску универсальных ограничений на различные грамматические явления. Эти универсальные ограничения получили название принципов.
(!) Была высказана гипотеза о том, что именно универсальные ограничения, а не сами трансформации формируют, наряду с правилами базового компонента, языковую компетенцию человека.
расхождения между грамматиками разных языков в пределах, разрешенных принципами, были названы параметрами

Формальные
грамматики

Формальная грамматика или просто грамматика в теории формальных языков — способ описания формального языка, то есть выделения некоторого подмножества из множества всех слов некоторого конечного алфавитa.
В математической логике и информатике формальный язык — это множество конечных слов (строк, цепочек) над конечным алфавитом.
Например, если алфавит задан как {a, b}, а язык L включает в себя все слова над ним, то слово ababba принадлежит L.
Алфавит – конечное множество символов A={а1,а2…аn}, где сами символы (ai) – буквы.

Маленький Саша учится хорошо.
<предложение> <группа существительного><группа сказуемого>
<группа существительного> <прилагательное><существительное>
<группа сказуемого> <глагол><наречие>
<прилагательное> маленький
<существительное> Саша
<глагол> учиться
<наречие> хорошо
означает «можно заменить на»
Символ

Маленький Саша учится хорошо.
<предложение>
<группа существительного><группа сказуемого>
<прилагательное><существительное><группа сказуемого>
Маленький <существительное><группа сказуемого>
Маленький Саша <группа сказуемого>
Маленький Саша <глагол><наречие>
Маленький Саша учится <наречие>
Маленький Саша учится хорошо

В рассмотренном выше примере конкретной грамматики имелись:
Грамматические термины (<группа существительного>, <группа сказуемого> и т.п.) - нетерминальные символы (нетерминалы)
Слова, оставляющие предложение языка,- они называются терминальными символами (терминалами)
Правила замены, левые и правые части которых состоят из терминальных и нетерминальных символов;
Начальный символ, с которого начинается разбор (вывод) любого предложения языка (<предложение>)

Выводом называется последовательность строк, состоящих из терминалов и нетерминалов, где первой идет строка, состоящая из одного стартового нетерминала, а каждая последующая строка получена из предыдущей путем замены некоторой подстроки по одному из правил.
Конечной строкой является строка, полностью состоящая из терминалов.
Вывод

По определению Хомского, формальная грамматика представляет собой четверку: {∑, N, R, S}, где
∑ – алфавит терминальных символов;
N – алфавит нетерминальных символов;
Множество R – конечное множество правил;
S - начальный символ грамматики.

Классификация
формальных грамматик

Типы формальных грамматик

0 Неограниченные грамматики
G=(∑, N, R, S)
возможны любые правила
(генеративные, порождающие)

1 Контекстно-зависимые грамматики
возможность замены цепочки символов может определяться контекстом
Контекст - последовательности символов, в том же виде присутствующие в правой части
генерация элементов естественных языков и подъязыков

2 Контекстно-свободные грамматики
определение грамматической структуры в грамматическом анализе.
генерация элементов языков программирования (выражений, команд)

3 Регулярные грамматики
самые простые и ограниченные грамматики, распознаются конечными автоматами
простые элементы языков (числа, константы, переменные)
шаблоны для текстового поиска, разбивки и подстановки, в т.ч. в лексическом анализе.

Виды записей
Классическая запись
БНФ-запись
Ориентированный граф

G={(<Пр>, <П>, <С>, <ИС>, <М>, <ГФ>),
(кот, пес, он, идет, лежит), R, S = <Пр>}
R={<Пр> → <П> <С>
<П> → <ИС>
<П> → <М>
<ИС> → кот
<ИС> → пес
<М> → он
<С> → <ГФ>
<ГФ> → идет
<ГФ> → лежит }
Классическая запись
<Пр>Предложение
<П>Подлежащее
<С>Сказуемое
<ИС>Имя существительное
<М>Местоимение
<ГФ>Глагольная форма

БНФ-запись
G={(<Пр>, <П>, <С>, <ИС>, <М>, <ГФ>),
(кот, пес, он, идет, лежит), R, S = <Пр>}
R={ <Пр>: : = <П><С>
<П> : : = <ИС>/<М>
<ИС> : : = кот/пес
<М> : : = он
<С> : : = <ГФ>
<ГФ> : : = идет/лежит }
Бэкуса-Наура форма

Ориентированный граф
<Пр>
↓
<П> + <С>
↓ ↓
<ИС> V <М> <ГФ>
↓ ↓ ↓
кот V пес он идет V лежит

Сентенциальные формы
Сентенциальная форма - любое представление формальной грамматики, получающееся на базе правил.
Кот идет
Кот лежит
Пес идет
Пес лежит
Он идет
Он лежит
<Пр>
<П><С>
<ИС><С>
Кот <С>
Кот <ГФ>
Кот лежит
<Пр>
<П><С>
<П><ГФ>
<П> лежит
<ИС> лежит
Кот лежит