ПОИСК Статьи Рисунки Таблицы Подчиненность оператора пре- i дикату из "Программирование " Содержание предиката Р,, вообще говоря, может иметь в качестве своих аргументов параметры схемы, а также в зависимости от состояния кортежа / может изменять свой вид. [c.173] Для того чтобы оператор Q схемы 2 та не выполнялся ни при одном X, принадлежащем G, необходимо и достаточно, чтобы этот оператор был подчинен нулю, т. е. предикату, тождественно равному нулю. [c.173] Если Q 0, то Q P , где Р — любой допустимый для схемы предикат. [c.173] Если в схеме 2 P i,mt имеет место Р Р , то W P . [c.173] Если среди букв ос,, а ,. .., а нет параметров, то Q является действующим оператором, если все существенные аргументы 1) , а также являются параметрами, то , является варьирующим оператором. Другие случаи здесь не рассматриваются. [c.174] В процессе программирования программист нередко приходит к программам, которые он признает неудовлетворительными по тем или другим причинам (например, программа содержит больше команд, чем в данном случае допустимо, и т. п.). В таких случаях программы приходится переделывать. Переделку программы можно осуществить на уровне логической схемы путем равносильных преобразований. Заметим, что часто недостатки будущей программы можно установить заранее, путем анализа ее логической схемы. Таким образом, равносильные преобразования могут быть с выгодой использованы при программировании. [c.174] Вернуться к основной статье