Cтраница 1
Правые знаки перехода этого выражения разделим на внутренние и внешние. Если вне W в записи алгоритма имеется левый знак перехода, допускающий конкретизацию с тем же индексом, что и индекс данного правого знака перехода, то последний называется внешним, В противном случае он называется внутренним. Точно так же разделим левые знаки перехода, присутствующие в выражении W, на внешние и внутренние. [1]
Правые знаки перехода этого выражения разделим на внутренние и внешние. Если вне W в записи алгоритма имеется левый знак перехода, допускающий конкретизацию с тем же индексом, что и индекс данного правого знака перехода, то последний называется внешним. В противном случае он называется внутренним. Точно так же разделим левые знаки перехода, присутствующие в вы -, ражении W, на внешние и внутренние. [2]
Любой правый знак перехода, принадлежащий Q - одному из операторов п-кратного выражения, можно перенести и поставить перед любым оператором Q, подобным оператору Q. При этом получается новое п-кратное выражение. [3]
Совокупность правых знаков перехода, входящих в замыкание какого-либо оператора, обозначим буквой тс. [4]
Индексы всех правых знаков перехода между собой различны. [5]
Находим в графике правый знак перехода, индекс которого одинаков с индексом рассмотренного левого знака перехода. [6]
Находим в - логической схеме правый знак перехода, индекс которого равен индексу рассматриваемого левого знака перехода. [7]
При этом в схемах появляются правые знаки перехода с индексами z вида Pt r, где г - целое положительное число. Постоянные левые и соответствующие им правые знаки перехода по-прежнему должны иметь натуральные индексы. [8]
Оператор, ближайший справа к внешнему правому знаку перехода, будем называть входом ъ выражение W, а оператор, которому принадлежит внешний левый знак перехода - выходом. [9]
Оператор, ближайший справа к внешнему правому знаку перехода, будем называть входом в выражение W, а оператор, которому принадлежит внешний левый знак перехода-выходом. [10]
Только замыкание онера-тора И не содержит правых знаков перехода, и только замыкания операторов вида flv не содержат левых знаков перехода. [11]
Только замыкание оператора И0 не содержит правых знаков перехода, и только замьь кания операторов вида Яч не содержат левых знаков перехода. [12]
Проверяем, является ли рассматриваемый терм правым знаком перехода. [13]
Проверить, является лп рассматриваемый терм правым знаком перехода. [14]
Проверить, является ли рассматриваемый терм правым знаком перехода. [15]