Cтраница 4
Как следует из П - теоремы, это позволяет, с одной стороны, уменьшить число аргументов у определяемых функций, а с другой, путем выбора соответствующих характерных величин процесса подобрать наиболее удобные области изменения численных значений безразмерных параметров. [46]
Эта системная команда понадобится нам позднее в этой же главе для того, чтобы познакомиться с другими способами генерации определяемых функций. [47]
Последняя ( т-алгебра называется лебеговой для данной функции X, а мера лк называется мерой Лебега - Стилтьеса, определяемой функцией К. [48]
Для определения функций, отличных от стандартных, в ЛИСПе используется специальная функция DEFINE, единственным аргументом которой является список определяемых функций. Запись Х - вы-ражения содержит ключевое слово LAMBDA, список аргументов и 5-выражение, задающее саму функцию. [49]
Как вектор, задающий трассировку, так и вектор, определяющий стоп-контроль, могут быть строкой ( или частью строки) определяемой функции, поскольку они являются допустимыми АПЛ-выраже-ниями. Векторы трассировки и стоп-контроля не являются переменными и уничтожаются при уничтожении функции, для которой они определены. Они сохраняются и загружаются вместе с рабочей областью, содержащей их, но не копируются. Заметим попутно, что желательно избегать имен, начинающихся с ТД или СД. Чтобы посмотреть, что произойдет, попробуйте завести такие имена. [50]
Поскольку мы можем именовать наши собственные функции с помощью оператора def, то допустимо записать определение рекурсивной функции, сославшись на определяемую функцию внутри ее собственного тела. [51]