5. Грамматика зависимостей — формальное представление строя предложения в виде иерархии компонентов, между которыми установлено отношение зависимости.

Грамма́тика зави́симостей — одна из формальных моделей, разработанных в рамках структурного синтаксиса (наряду с грамматикой составляющих). Представляет строй предложения в виде иерархии компонентов, между которыми установлено отношение зависимости^[1]. Таким образом, структура предложения рассматривается в терминах вершин и зависимых^[2].

Современная грамматика зависимостей в значительной степени основывается на идеях Л. Теньера^[2].

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

6. Грамматика непосредственно составляющих — формальное представление строя предложения в виде иерархии вложенных друг в друга линейно непересекающихся элементов, максимально независимых друг от друга.

В лингвистической грамматике, составля́ющая (англ. constituent) — структурная единица (отрезок) предложения, целиком составленная из более тесно связанных друг с другом составляющих меньшего размера. Грамматика составляющих (метод составляющих; англ. constituency grammar, phrase structure grammar) основана на постулате, согласно которому всякая сложная грамматическая единица складывается из двух более простых и не пересекающихся единиц, называемых её непосредственными составляющими (англ. immediate constituent).

Составляющая, включающая более одного слова, называется группой (англ. phrase), а слово, соответствующее корневому узлу в дереве зависимостей, описывающем группу, — вершиной(англ. head) группы.

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

7. Грамматика представлений — система правил, основанная на учете возможных окружений каждого слова.

Грамматика, построенная на определённых предложениях (сокр. DC-грамматика, DCG; от англ. Definite clause grammar) — это способ построения грамматики в логических языках программирования, например, Пролог. DC-грамматика обычно ассоциируется с Прологом, но и другие языки, например, Mercury, также могут использовать DC-грамматику. Словосочетание «определенные предложения» используется в название потому, что эта грамматика основывается на дизъюнкте Хорна в логике первого порядка.

Определение DCG ссылается на специфичные типы выражений в Пролог и других подобных ему языках. Не все способы выражения грамматики, использующие определённые предложения, рассматриваются с помощью DC-грамматики. Однако, все возможности и свойства DC-грамматики будут точно такими же для любой грамматики, которая использует определённые предложения точно так же, как и Пролог.

Чтобы яснее представить себе, что же такое DC-грамматики, можно провести следующее гипотетическое сопоставление: множество определённых предложений можно рассмотреть как множество аксиом, а корректность входной строки и существование для неё дерева разбора — как теорему, доказательство которой строится на этих аксиомах ^[1]. Такое представление имеет преимущество, так как распознавание и разбор выражений языка превращается в доказательство выражений, точно так же как это делается в логических языках программирования.