Формальная грамматика или просто грамматика в теории формальных языков — способ описания формального языка, то есть выделения некоторого подмножества из...

\neg X\neg Y\neg Z} Таким образом, из ДНФ получили СДНФ. Следующая формальная грамматика описывает все формулы, приведенные к ДНФ: <ДНФ> → <конъюнкт> <ДНФ>...

котором он использовал форму Бэкуса — Наура для описания формальной части Алгола 60. Формальная семантика In the prehistory of formal language theory: Gauss...

Линейная грамматика — это контекстно-свободная грамматика, такая что правая часть любого её правила вывода содержит не больше одного нетерминала. Линейный...

Бэкус — Наурова форма (РБНФ)) (англ. Extended Backus–Naur Form (EBNF)) — формальная система определения синтаксиса, в которой одни синтаксические категории...

Контекстно-свободная грамматика (КС-грамматика, бесконтекстная грамматика) — частный случай формальной грамматики (тип 2 по иерархии Хомского), у которой...

Y\vee \neg Z).} Таким образом, из КНФ получена СКНФ. Следующая формальная грамматика описывает все формулы, приведенные к КНФ: <КНФ> → <дизъюнкт> <КНФ>...

Командование составляющих Порождающая грамматика X'-теория Грамматика с фразовой структурой Катена — введённый в грамматике зависимостей более гибкий тип обобщённых...

Регулярная грамматика — формальная грамматика типа 3 по иерархии Хомского, регулярные грамматики определяют в точности все регулярные языки, и поэтому...

Грамматика, построенная на определённых предложениях (сокр. DC-грамматика, DCG; от англ. Definite clause grammar) — это способ построения грамматики в...

Иерархия Хомского — классификация формальных языков и формальных грамматик, согласно которой они делятся на 4 типа по их условной сложности. Предложена...

Характерной для префиксной грамматики является не форма правил, а способ их применения: переписываются только префиксы. Префиксная грамматика G — это тройка (Σ...

Грамматика, разбирающая выражение (РВ-грамматика) — тип аналитической формальной грамматики, описывающей формальный язык в терминах набора правил для...

закономерности грамматика формулирует в виде общих грамматических правил. Говоря о грамматике как науке, выделяют: историческую грамматику — науку, изучающую...

Порожда́ющая грамма́тика (генеративная грамматика; англ. generative grammar) — формализм генеративной лингвистики, связанный с изучением синтаксиса. В...

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

Матричная грамматика — это формальная грамматика, в которой правила вывода группируются в конечные последовательности. Правила вывода не могут применяться...

Грамматика сложения деревьев (англ. tree-adjoining grammar, TAG) — это формальная грамматика, придуманная Аравиндом Джоши[англ.]. Эта грамматика обобщает...

Генерати́вная лингви́стика (трансформационная порождающая грамматика, трансформационно-генеративная грамматика, хомскианская лингвистика, генеративизм) — направление...

языков или символами). Из символов алфавита формального языка строятся слова, а заданием формальной грамматики — допустимые выражения языка. Чаще всего алфавит...

последовательности лексем (слов, токенов) естественного или формального языка с его формальной грамматикой. Результатом обычно является дерево разбора (синтаксическое...

Формальная семантика — дисциплина, изучающая семантику (интерпретации) формальных и естественных языков путём их формального описания в математических...

Форма Бэкуса — Наура (сокр. БНФ, Бэкуса — Наура форма) — формальная система описания синтаксиса, в которой одни синтаксические категории последовательно...

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

Категориа́льная грамма́тика (К-грамматика, КГ) — формальная грамматика распознающего типа, возникшая благодаря деятельности К. Айдукевича, И. Бар-Хиллела...

формальному языку, описанному LL(k) контекстно-свободной грамматикой. Это класс алгоритмов грамматического анализа, где правила формальной грамматики...

Грамматика с фразовой структурой — формальная грамматика, алгебраическая структура, состоящая из упорядоченной четвёрки G=(N, T, P, S) и определённой на...

Контекстно зависимая грамматика (КЗ-грамматика, контекстная грамматика) — частный случай формальной грамматики (тип 1 по иерархии Хомского), у которой...

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

универсальная грамматика понимается как встроенное на генетическом[уточнить] уровне знание о языке. Аргументами в пользу существования универсальной грамматики являются:...

описывает метод переписывания строк, похожий по способу задания на формальные грамматики. НАМ — полный по Тьюрингу язык, что делает его по выразительной...