Cтраница 2
Ленивые мемо-функции были введены для использования их в ленивых реализациях функциональных языков; они упрощают представление в мемо-таблицах тех аргументов, хранение которых в полном вычисленном виде больше не является необходимым. При этом устраняются многие трудности, связанные с рекурсивной проверкой на равенство и хэшированием, так что эта методика также годится и для строгих реализаций. Основная мысль заключается в смягчении тех требований, которым должна удовлетворять мемо-функция; мы скоро увидим, что все мемо-функции могут быть заданы через ленивые мемо-функции; другими словами, использование ленивой методики не приводит к потере общности. Обычные мемо-функции, которые мы будем называть полными мемо-функциями, требуются для повторного использования уже вычисленных результатов, если они применяются к аргументам, равным тем, которые были использованы накануне. [16]
Прежде чем перейти к дальнейшему исследованию, заметим следующее. Может сложиться впечатление, что стремление к строгости обоснования имеет чисто теоретическое значение. А лучший, хотя и не всегда достижимый путь создания эффективных наглядных алгоритмов предусматривает его строгую реализацию на базе исходной системы математических моделей с минимумом использования эвристических приемов в процессе вычислений. Увлечение эвристикой зачастую приводит к неоправданному усложнению логики, появлению противоречий между различными этапами вычислений, снижению степени достоверности результатов. [17]