ОГРАНИЧЕННАЯ СИНТАКСИЧЕСКАЯ ЭКВИВАЛЕНТНОСТЬ И АДАПТИВНАЯ УНИФИКАЦИЯ ВЫРАЖЕНИЙ В РАСШИРЯЕМОЙ МОДЕЛИ МАТЕМАТИЧЕСКОГО ДИАЛЕКТА
Рассмотрена задача проверки на ограниченную синтаксическую эквивалентность математических выражений, а также задача адаптивной унификации для расширяемой модели математического диалекта и приведены алгоритмы их решения.
Ключевые слова: ограниченная синтаксическая эквивалентность, адаптивная унификация, математическое утверждение, пропозициональное утверждение, метаматематическое утверждение, предметная переменная, пропозициональная переменная, синтаксическая переменная, модифицированная синтаксическая переменная.
