Определение 1. Формальной системой называется система, состоящая из множества спе-
циальных символов, множества понятий, баз слов/фраз и конечного множества математи-
ческих моделей считающихся интерпретируемыми.
Определение 2. Математическая модель естественного языка – это есть способ фор-
мального описания его синтаксических и семантических конструкций. Основой синтакси-
ческих конструкций является вывод слово, а семантических конструкций правильный вывод
фразы.
Утверждение 1. Одна математическая модель определяет одно или несколько синтакси-
ческих и/или семантических конструкций из грамматики естественного языка.
Утверждение 2. Каждая математическая модель является либо распознающей, либо
порождающей в многоязычной системе МП.
281
Утверждение 3. Математическая модель является распознающей, если она характеризует
язык A или является порождающей если характеризует язык B. При этом направлением МП
считается A
