ГРАММАТИКА

ГРАММАТИКА — Совокупность правил формирования правильных предложений в рамках рассматриваемого языка.

ГРАММАТИКА АВТОМАТНАЯ — Формальная грамматика, у которой правила вывода имеют вид b1A1 ^ b2A2, b1A1 ^ b2 где A1, A2 - нетерминальные символы; b1, b2 - терминальные символы.

Каждая Г.А. порождается некоторым конечным автоматом. И каждый конечный автомат задает некоторую Г.А..

ГРАММАТИКА КОНТЕКСТНО-СВЯЗАННАЯ — Формальная грамматика, для которой существуют такие цепочки что и имеют место правила и К.С. обладают свойством сохранения длины цепочки. Цепочки, получаемые после применения любого правила, либо сохраняют длину исходной цепочки, либо увеличивают ее. Г.К.С. порождаются линейно-ограниченными автоматами. И для каждой Г.К.С. может быть построен воспроизводящий ее линейно-ограниченный автомат.

ГРАММАТИКА КОНТЕКСТНО-СВОБОДНАЯ — Частный случай формальной грамматики (тип 2 по иерархии Хомского), у которой левые части всех продукций являются нетерминалами. Смысл термина [контекстно-свободнаяk заключается в том, что возможность применить продукцию к нетерминалу, в отличие от общего случая грамматики Хомского, не зависит от контекста этого нетерминала.

ГРАММАТИКА МАТРИЧНАЯ — Формальная грамматика, у которой в качестве правил вывода выступают фиксированные по порядку применения совокупности правил вывода обычных грамматик. Эти совокупности, называемые матричными правилами вывода, могут пересекаться между собой по общим правилам вывода, входящим в матричные правила вывода.

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

ГРАММАТИКА ПАДЕЖНАЯ — Грамматика предикатно-аргументной структуры предложения. Аргументами такой структуры являются имена, для которых можно указать глубинные падежи (обобщенные отношения между содержанием глагола и содержанием той или иной из именных групп).

ГРАММАТИКА СЕТЕВАЯ — Грамматика расширенных сетей переходов - подкласс трансформационных грамматик. В настоящее время под Г.С. понимается упорядоченная тройка Fs = < V,Z N >, где V - описание лексиконов обрабатываемого языка; Z - описание нестандартных функций, повышающих эффективность обработки; N - описание расширенной сети переходов (специального графа, с помощью которого представляется анализатор языка).

ГРАММАТИКА ФОРМАЛЬНАЯ — Четверка , в которой S - аксиома Г.Ф.; A - множество нетерминальных символов; B - множество терминальных символов; P - правила вывода. Объектами, с которыми работает Г.Ф., являются цепочки, состоящие из терминальных и нетерминальных символов. Правила вывода имеют вид, где и цепочки символов. При этом содержит хотя бы один нетерминальный символ. Функционирование Г.Ф. всегда начинается с цепочки, состоящей из единственного символа S. Применение правила к цепочке заключается в замене всех вхождений (или только самого левого вхождения) в на . Процесс заканчивается, когда ни одно из правил вывода к данной цепочке неприменимо. Такие заключительные цепочки входят в язык, порождаемый данной Г.Ф.

В синтаксически правильных Г.Ф. в язык входят только те цепочки, которые состоят полностью из терминальных символов..

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

Похідні поняття[Приховати / показати]

Зв'язані поняття[Приховати / показати]

Близькі поняття: [Приховати / показати]

Контент, у якому йде мова про ГРАММАТИКА

Искусственный интеллект — Г

Подання знань (Представлення знань)

Якщо вас цікавить...