Категориальная грамматика
- Категориальная грамматика — математический анализ с аксиомами специального назначения для каждого языка.
- Контекстно-свободная грамматика может быть рассмотрена как математический анализ с набором аксиом специального назначения.
- Категориальная грамматика может генерировать тот же язык, что и контекстно-свободная грамматика.
- Любой контекстно-свободный язык может быть создан с помощью базовой категориальной грамматики.
- Грамматики Ламбека являются продолжением базовых категориальных грамматик и также генерируют контекстно-свободные языки.
- Доказательство Пентуса показывает, что каждый язык, созданный с помощью грамматики Ламбека, не зависит от контекста.
- Пересказана только часть статьи. Для продолжения перейдите к чтению оригинала.
Полный текст статьи: