В процессе развития решателя в ГЕНОЛОГ был введен еще один тип нормали-заторов, который впоследствии так и не был востребован. Однако в определенных ситуациях он может оказаться полезным, и здесь мы вкратце опишем его работу При выполнении цепочки преобразований выражения, направленных на уменьшение некоторого функционала, например, на уменьшение длины этого выражения, можно перед каждым шагом изменения выражения сначала накапливать множество различных альтернативных преобразований, и лишь по исчерпании новых вариантов принимать окончательное решение.
Это решение заключается в определении наиболее ценных, с точки зрения принятого функционала, преобразований обрабатываемого терма, причем отбирается максимальная группа попарно не пересекающихся наиболее ценных локальных изменений, которые и выполняются одновременно. Такой режим работы нормализатора задается указателем "группировка" в описании его формата. Следует заметить, что нормализаторы данного типа обладают ощутимо меньшим быстродействием по сравнению с обычными нормализаторами, выполняющими свои преобразования сразу по обнаружению их возможности.
Опубликовал vovan666
March 04 2013 15:33:46 ·
0 Комментариев ·
6085 Прочтений ·
• Не нашли ответ на свой вопрос? Тогда задайте вопрос в комментариях или на форуме! •
Комментарии
Нет комментариев.
Добавить комментарий
Рейтинги
Рейтинг доступен только для пользователей.
Пожалуйста, залогиньтесь или зарегистрируйтесь для голосования.
Нет данных для оценки.
Гость
Вы не зарегистрированны? Нажмите здесь для регистрации.
Главная
Каталог файлов
