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]