Оглавление
Грамматика предварительной группы
-
Определение предгрупповой грамматики
- Предгрупповая грамматика (PG) — это грамматический формализм, связанный с категориальными грамматиками.
- PG использует обратные типы и моноидальную операцию.
- Предгруппа — это частично упорядоченная алгебра с моноидальной операцией.
-
Примеры использования PG
- PG используется для моделирования предложений на английском языке.
- Примеры включают предложения “Джон встретил Мэри” и “собака залаяла на кошку”.
-
Исторические заметки
- PG была введена Йоахимом Ламбеком в 1993 году.
- Ламбек заменил частные на сопряженные для обработки сложных лингвистических случаев.
-
Семантика предгрупповых грамматик
- Из-за отсутствия типов функций, семантика PG задается с помощью логического языка.
- Используются два метода: чисто формальный и денотационный.
-
Чисто формальная семантика
- Включает логический язык с атомарными терминами и функциональными символами.
- Термины вводятся с помощью типов предгрупп.
- Применяются правила сокращения и преобразования α.
-
Денотационная семантика
- Аналогична тензорной математике квантовой механики.
- Включает правила сокращения и преобразования.
- Примеры включают семантику предложений “Джон встретил Мэри” и “собака залаяла на кошку”.