Указатели "единица(1 а, Ь г)" и "заменазнака(минус а г)" означают возможность вырожденных значений 1 для а(х), Ь(у(х)), г(.г), а также передачу знаков "минус" перед слагаемыми выражениям а(х), с(х).
Указатели "новаргумент(6 х фикс)", "новаргумент(г х фикс)" определяют способ идентификации с(у(х)), Ь(у(х)). Перед идентификацией этих выражений переменные у, х должны быть уже идентифицированы. Компилятор создает обращение к процедуре "новаргумент", проверяющей, что вхождения переменной х внутри идентифицируемых с <°(/у(.г)), Ь(у(х)) выражений расположены только внутри у{х).
Все такие вхождения выделяются, и при формировании b(z), c(z) вместо них будет подставлена новая переменная г То, что эта переменная — новая, следует пояснить компилятору отдельно, что и делает указатель "новаяпеременная(с)" Логический символ "фикс" в приведенных выше указателях введен, чтобы показать, что идентифицируемые выражения не подвергаются предварительной обработке нормализаторами, ориентированными на приведение всех подвыражений с х к виду у(х) — очевидно, здесь это излишне.
Указатель "конец(1 2)" отодвигает на конец трудоемкую обработку первого и второго антецедентов (т. е фактически интегрирование уравнения) до того, как будут проверены все остальные условия срабатывания приема
Опубликовал Kest
December 12 2012 20:31:02 ·
0 Комментариев ·
3950 Прочтений ·
• Не нашли ответ на свой вопрос? Тогда задайте вопрос в комментариях или на форуме! •
Комментарии
Нет комментариев.
Добавить комментарий
Рейтинги
Рейтинг доступен только для пользователей.
Пожалуйста, залогиньтесь или зарегистрируйтесь для голосования.
Нет данных для оценки.
Гость
Вы не зарегистрированны? Нажмите здесь для регистрации.
Главная
Каталог файлов
