B, а языкиA и B принадлежат по классификации Н. Хомского [1] классу 0.
Определение 3. Распознающая математическая модель это анализ синтаксических и се-
мантических конструкций выводящих висячее дерево предложений языка A.
Определение 4. Порождающая математическая модель это синтез синтаксических и
семантических конструкций строящих дерево предложения языка B.
Утверждение 4. Каждая синтактико-семантические правила языков A и B имеют форму a
b без каких-либо ограничений на строки a и b в границах грамматики рассматриваемого
языка.
Определение 5. Язык A есть множества форм a
b.
Определение 6. Понятия P есть конечное множества словообразующих форм.
Определение 7. Начальным символом естественного языка A является любая буква из его
алфавита - E, называемым терминальным символом.
Определение 8. Интерпретация - это множество построения различных алгоритмов в
соответствие с формами вывода a
