Фильтр "не(контекст(внешоперанд(х4) вид(х4 степень(х5 2)) контекст(список(хб b с) контекст(внешвхождение(х7) вид(х7 умножение(х8 х5 хб)) единица(1 х8)) кон- текст(внешвхождение(х7) вид(х7 плюс(х8 умножение(х9 х5) умножение(х9 хб))) еди- ница(0 х8) единица(1 х9)))))" проверяет, нельзя ли подобрать для b либо с другую пару — некоторое новое слагаемое е2 той же суммы, в которую входят б2, г:2, причем так, чтобы снова были выполнены оба предыдущих фильтра. Если это сделать можно, то ситуация с преобразованием неоднозначная, и применение данного приема тогда просто отменяется.
Указатель "уровень(З)" определяет третий уровень для попыток применения при-ема. Нормализаторами общей стандартизации обрабатываются только явно выделенные в правой части равенства сумма и произведение выражений 6, е. Заметим, что в этой части возникает вложенное произведение — двойка умножается на произведение be. Это необходимо для последующего переобозначения выделенных вхождений на новые неизвестные, и применение каких-то других нормализаторов общей стандартизации к правой части может ее испортить
Нормализатор группировок.
Опубликовал vovan666
March 04 2013 15:37:20 ·
0 Комментариев ·
4369 Прочтений ·
• Не нашли ответ на свой вопрос? Тогда задайте вопрос в комментариях или на форуме! •
Комментарии
Нет комментариев.
Добавить комментарий
Рейтинги
Рейтинг доступен только для пользователей.
Пожалуйста, залогиньтесь или зарегистрируйтесь для голосования.
Нет данных для оценки.
Гость
Вы не зарегистрированны? Нажмите здесь для регистрации.
Главная
Каталог файлов
