J-правило - Большая Энциклопедия Нефти и Газа, статья, страница 1
Мы медленно запрягаем, быстро ездим, и сильно тормозим. Законы Мерфи (еще...)

J-правило

Cтраница 1


J-правило, использованное для порождения w из Т, может быть применено к строкам 7, соответствующим тем строкам из Т, к которым оно применялось первоначально.  [1]

Существует также обобщение J-правила, позволяющее нам генерировать одновременно более одной строки. Если [ S ] есть J-зависимость из множества ограничений, то к табло можно применить PJ-отображение ms, а результат использовать для создания следующего табло в порождающей последовательности.  [2]

К табло Т примените J-правила из С примера 8.20 до тех пор, пока происходят изменения.  [3]

К табло Г примените J-правила из С примера 8.20 до тех пор, пока происходят изменения.  [4]

Для некоторых последующих доказательств необходимо проследить за преобразованиями строк при вычислении по методу прогонки. Пусть табло Т получено из табло Т применением J-правила.  [5]

Для некоторых последующих доказательств необходимо проследить за преобразованиями строк при вычислении по методу прогонки. Пусть табло Т получено из табло Т применением J-правила. Если w является строкой Т, то в Т ей соответствует.  [6]

В результате прогонки нам надо получить строку w, которая во всех позициях из 8г содержит выделенные переменные. Отсюда следует, что если Т - ограничение Т на Slt то с помощью однократного применения J-правила для MR мы можем построить в Т строку, состоящую из одних только выделенных переменных. Аналогично, получаем М2 MVD ( R2), и наше утверждение, а тем самым и лемма доказаны.  [7]

В результате прогонки нам надо получить строку w, которая во всех позициях из Sj содержит выделенные переменные. Отсюда следует, что если Т - ограничение Т на S, то с помощью однократного применения J-правила для [ Rt ] мы можем построить в Т строку, состоящую из одних только выделенных переменных. Аналогично, получаем М2 MVD ( R2), и наше утверждение, а тем самым и лемма доказаны.  [8]

Для каждой строки w в табло из порождающей последовательности в последующих табло всегда существует соответствующая строка. Однако w не обязательно соответствует некоторой строке предыдущего табло последовательности, поскольку она могла быть порождена некоторым J-правилом. Различные строки одного табло могут соответствовать одной и той же строке последующего табло ( см. упр.  [9]

К строкам wj и wz, изменяя Т, может быть применено F-правило Х - А, что означает, что Т не является последним табло в порождающей последовательности относительно С. Аналогично, если в Т нарушается некоторая J-зависимость из С, то для преобразования Т применимо соответствующее J-правило.  [10]

К строкам w -, и w2, изменяя Т, может быть применено F-правило Х А, что означает, что Т не является последним табло в порождающей последовательности относительно С. Аналогично, если в Т нарушается некоторая J-зависимость из С, то для преобразования Т применимо соответствующее J-правило.  [11]



Страницы:      1