Указатель "примечание(ориентацияравенства)" снабжает вводимое равенство для множества корней производной пометкой, блокирующей перестановку его левой и правой частей. Уточнение ориентации равенства позволяет управлять последующими заменами, которые оно порождает. В данном случае выражение "roots(a,Dom(a))" будет заменяться на явное описание множества корней, а не наоборот. Указатель "примечание(равно)" снабжает новую посылку пометкой, блокирующей замену его подтермов с помощью других равенств. Указатель "примечание(упростить)" вводит пометку, блокирующую последующие попытки упрощать новое равенство.
Указатель "отображение(/#)" определяет идентификацию /(:/), д{х) с произвольными выражениями; указатель "точкапривязки(отображение)" уточняет, что инициализация применения приема при сканировании будет начинаться с усмотрения символа "отображение" в равенстве для а. Наконец, указатель "лимит(20000000)" ограничивает трудоемкость попыток нахождения корней производной. Так же вам пригодяться http://ab-w.net/HTML/HTML.php при работе с этим языком.
Нормализаторов приема всего два. Прежде всего, это обработка пакетным нормализатором "нормкласс" всей правой части нового равенства Такой нормализатор предпринимает попытку избавиться от описателя "класс", перейдя к более простым средствам задания множеств. Однако еще до обращения к нему, условия принадлежности классу f(x) & д(х) = 0 преобразуются вспомогательной задачей на описание, в которой, собственно, и осуществляется основная работа данного приема. Нормализатор приема, организующий обращение к этой задаче, имеет вид "задача(6 тип(описать) цель(неизвестная(х)) полный явное прямойответ корни одз упростить)".
Опубликовал Kest
December 18 2012 21:03:47 ·
0 Комментариев ·
4062 Прочтений ·
• Не нашли ответ на свой вопрос? Тогда задайте вопрос в комментариях или на форуме! •
Комментарии
Нет комментариев.
Добавить комментарий
Рейтинги
Рейтинг доступен только для пользователей.
Пожалуйста, залогиньтесь или зарегистрируйтесь для голосования.
Нет данных для оценки.
Гость
Вы не зарегистрированны? Нажмите здесь для регистрации.
Главная
Каталог файлов
