Общение с интеллектуальной информационной системой (ИИС), страница 2

Полезное использование ЕЯ в технических системах  возможно,  если отображения F и

Эффективно вычислимы. Полные ЕЯ, используемые человеком, имеют функции отображения , которые пока на ЭВМ эффективно вычислены быть не могут. Отсюда стремление работать с упрощенными ограниченными ЕЯ формами , причем ограничения связаны с введением упрощенного синтаксиса, семантики языка. Синтаксис Z определяет правила, описывающие входящие в язык тексты как цепочки символов, составляющие морфемы, словоформы, словосочетания и предложения. Морфема - значимая мельчайшая часть слова (корень, суффикс, окончания). Словоформа  или просто слово-цепочка морфем. Словосочетание и предложения представляют собой цепочки слов незаконченных и законченных по содержанию. Синтаксис связан с алфавитом А={a1,…,аN} - определенный набор используемых символов. Семантика определяет правила, смысловые значения входящих в язык цепочек. Другое упрощение ЕЯ связано с терминальными и нетерминальными словарями.

VT  терминальный словарь- это набор исходных элементов, из которых  строятся синтаксически правильные цепочки символов, т.е. словарь основных слов языка, из которых строятся предложения. Нетерминальный словарь VH -это набор символов, которыми обозначаются исходных элементов или словарь  синтаксических типов. Элементы  этих словарей называются соответственно терминальными и нетерминальными символами. Число элементов VT и VH в ограниченных ЕЯ-формах существенно сужено, т.к. определяется узкой предметной областью и возможностями програмного интерпретатора языка.

Разработка грамматики.

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

-ставить в соответствие каждому предложению языка его структурное описание, определяющее из каких элементов построено предложение и каков их порядок и расположение;

-быть конечной, т.е. содержать ограниченное число правил построения и интерпретации предложений.

В общем виде, грамматику можно представить упорядоченной системой вида

                G=(VT,VH,H0 ),