Лексика и грамматика

Устная речь и текст на языке AIGL рассматривается как последовательность лексем - смысловых единиц языка и необязательных разделителей. Разделителями являются символы, не входящие в состав языка AIGL. Текст располагается слева направо сверху вниз. Каждая лексема в языке AIGL всегда имеет только одно строго определенное лексическое значение. Лексемы - абстрактные имена объектов и явлений, никак не связанные со свойствами сущностей, обозначаемых ими. Лексемы не привязаны к какому – либо другому языку. Лексические значения лексем описаны в словаре.

Язык AIGL имеет контекстно - свободную грамматику в иерархии грамматических формальных систем Хомского: каждое правило обеспечивает подстановку вместо нетерминального символа правой части правила в любом контексте.

В AIGL имеется несколько частей речи. Первая часть речи - предикат, объединяет глаголы, прилагательные и имена нарицательные. Сюда входят корневые слова языка AIGL.

В AIGL используется обратная ссылочность сообщений на более ранние предикатные отношения внутри одного сообщения.

Грамматические правила языка AIGL
Формула	Комментарии
<буква> := <гласная буква> \| <согласная буква>	-
<нечетный слог> := <согласная буква> <гласная буква> <согласная буква>	-
<корневое слово> := <нечетный слог> <нечетный слог>	-
<имя переменной> := <корневое слово='palvas'> <содержание переменной> <четный слог='za'>	Это переменная, определенная внутри текущего сообщения. Если в содержании переменной встречается последовательность "za", то каждая из таких последовательностей д.б. сдублирована.
<гласная буква 1> := (<буква='a' /ПИ источника сообщения/> \| <буква='e' /ПИ приемника сообщения/> \| <буква='i' /ПИ вышеописанного в текущем тексте/> \| <буква='o' /ПИ нижеописанного в текущем тексте/> \| <буква='u' /ПИ косвеннное (того, о кот. говорится в вышеописанном тексте/>)	Пространство имен (ПИ)
<гласная буква 2> := (<буква='a' /частичное сходство в свойствах (похож на..). Это экземпляр указанного класса/> \| <буква='e' /полное сходство в свойствах, но не тождественность (точно такой же, экземпляр указанного класса, один из..)/> \| <буква='i' /тождественность(это он и есть). Если у класса есть экземпляры, то это- множество их/> \| <буква='o' /полное несходство(вообще не похож, т.е. подразумевается какой-то другой неизвестный экземпляр общего класса)/> \| <буква='u' /отрицание тождественности(полное отсутствие , ничто, пустота)/>)	Сходство
<согласная буква 1> := <буква='b' /для параметра N 1/> \| <буква='c' /для параметра N 2/> \| <буква='d' /для параметра N 3/> \| <буква='f' /для параметра N 4/> \| <буква='g' /для параметра N 5/>	Для непоследнего параметра в предикатном отношении
<coгласная буква 2> := (<буква='h' /для параметра N 1/> \| <буква='j' /для параметра N 2/> \| <буква='k' /для параметра N 3/> \| <буква='l' /для параметра N 4/> \| <буква='m' /для параметра N 5/>	Для последнего параметра в предикатном отношении
<coгласная буква 3> := (<буква='n' /Предикатное слово, за кот. следуют параметры/> \| <буква='p' /Предикатное слово, за кот. не следуют параметры/>	Признак предикатного слова для описательного предиката
<coгласная буква 4> := (<буква='q' /Предикатное слово, за кот. следуют параметры/> \| <буква='r' /Предикатное слово, за кот. не следуют параметры/>	Признак предикатного слова для побудительного предиката
<окончание параметра> := <гласная буква 1>(<согласная буква 1> \| <согласная буква 2>) <гласная буква 2>	-
<параметр> := (<корневое слово> \| <имя переменной>) <окончание параметра>	-
<окончание предикатного слова> := <гласная буква 1>(<согласная буква 3> \| <согласная буква 4>) <гласная буква 2>	-
<предикатное слово> := <корневое слово> <окончание предикатного слова>	-
<предикатное отношение> := <предикатное слово>{<параметр>}	Однотипные параметры предикатного отношения - множество.