Правила - подстановка
Cтраница 1
Правила подстановки вместо свободных индивидных и функциональных переменных, равно как и правило переименования связанных переменных, становятся производными правилами. [1]
Правила подстановки при описании процесса распознавания максимального варианта проекта связаны с оптимизацией затрат ресурсов при достижении заданного значения Н при ограничении на ресурсы и время упорядочения с учетом свойств различных ресурсов. [2]
Правила подстановок ( грамматика БНФ) иногда представляются в виде дерева непосредственных составляющих, на котором структура разбора ( вывода) более наглядна. Дереву разбора отводится в синтаксическом анализе та же роль, что и блок-схеме в программировании. [3]
Для правила подстановки это очевидно: если формула при всех значениях переменных принимает значение а, то такова же будет и формула, полученная из нее любой заменой переменных. [4]
Грамматика, правила подстановки которой могут быть описаны посредством ( конечной) диаграммы или матрицы преобразований. [5]
Далее мы расширим правила подстановки. [6]
Отметим, что правила подстановки, используемые в методе аналитических таблиц, основаны на нахождении НОУ, который строится для замыкания ветви. В качестве пояснения к приведенной ниже реализации метода заметим, что переменные языка Пролог используются как свободные переменные в формулах прикладного языка, и формулы удаляются из ветви, только если они могут быть унифицированы. [7]
Кроме основных правил вывода - правила подстановки и правила заключения - мы будем иметь и другие правила образования выводимых формул, производные от основных правил и являющиеся сокращением многократного применения основных правил. [8]
Правилами вывода являются обычное правило отделения и правила подстановки на место пропозициональных и функториальных переменных. Для того чтобы показать на примере, как действуют эти правила, я выведу из аксиомы 51 закон тождества Срр. [9]
 |
Обобщенный алгоритм канонического разбора. [10] |
Обобщите упражнение 4.1.2, выводя для каждого правила подстановки Р3 такое правило, которое указывало бы, следует ли его применять на конкретном шаге разбора. [11]
Первую проблему можно обойти, упорядочив надлежащим образом альтернативные правила подстановки. Это обстоятельство и явилось основной причиной изменения правил подстановки из разд. [12]
Существенно, что порождающая грамматика не есть алгоритм, поскольку правила подстановки представляют собой не последовательность предписаний, а совокупность решений. Это означает, что, во-первых, правило вида а - Ь понимается в грамматике как а можно заменить на Ь ( но можно и не заменять); в алгоритме же а - Ъ означало бы а не следует заменить на Ь ( нельзя не заменять); во-вторых, порядок применения правил в грамматике произволен: любое правило, в принципе, разрешается применять после любого. [13]
Все аксиомы исчисления предикатов и все правил вывода, кроме правила подстановки в свободные пред. [14]
С помощью этой команды пользователь может отменить все присваивания и правила подстановок для любого выражения. [15]
Страницы: 1 2 3