Cтраница 2
Условимся, кроме того, называть элементами логической схемы операторы; правые знаки перехода; двойные левые знаки перехода ( имея в виду, что это пара левых знаков перехода); пары левых знаков перехода, следующих за логическим оператором; отдельные левые нижние знаки перехода, стоящие после нелогических операторов. [16]
Пусть w - элементарное выражение, входящее в выражение TW формулы (4.17), не являющееся правым знаком перехода. [17]
Пусть w - элементарное выражение, входящее в выражение TW равносильности (5.10), не являющееся правым знаком перехода. [18]
Пусть w - элементарное выражение, входящее в выражение TW формулы (4.17), не являющееся правым знаком перехода. [19]
Левый знак перехода, принадлежащий W, будем называть внутренним, если в этом выражении присутствует правый знак перехода с тем же индексом. [20]
Знак f - называется левым верхним, знак ( - левым нижним, а знак J - правым знаком перехода. [21]
Выражением будем называть конечную строку термов, в которой для каждого натурального числа г имеется не больше одного правого знака перехода с этим индексом, и терм, содержащий Я0, может присутствовать только на первом месте. [22]
В логической схеме не может быть левых знаков перехода с числовыми индексами, отличными от всех числовых индексов правых знаков перехода, а также не может быть левых знаков перехода, зависящих от параметров, области изменения функций у которых содержат числа, не являющиеся индексами правых знаков перехода. [23]
Выражением будем называть конечную строку термов, в которой для каждого натурального числа z имеется не больше одного правого знака перехода с этим индексом, и терм, содержащий / /, может присутствовать только на первом месте. [24]
Пусть схема 2 удовлетворяет тому условию, что, какой бы ни был стоящий в ней левый знак перехода, отвечающий ему правый знак перехода стоит в логической схеме правее его. [25]
Пусть схема 2 удовлетворяет тому условию, что, каков бы ни был стоящий в ее графике левый знак перехода, отвечающий ему правый знак перехода стоит в графике правее него. [26]
Вообще говоря, обобщенным оператором называется строка операторов и знаков перехода, являющаяся частью логической схемы, начинающаяся оператором отличным как от Ий, так и от Я не содержащая правых знаков перехода с индексами, которые равны или могут быть значениями индексов левых знаков перехода, стоящих вне этой строки. [27]
Для того чтобы при исследовании алгоритмов нам не оговаривать каждый раз, применяются или не применяются вышеперечисленные соглашения, сокращающие запись алгоритмов, будем считать, что левые знаки перехода и отвечающие им правые знаки перехода присутствуют в наших записях всегда, ко либо явно, либо неявно. [28]
Для того чтобы при исследовании алгоритмов нам не оговаривать каждый раз, применяются или не применяются вышеперечисленные соглашения, сокращающие запись алгоритмов, будем считать, что левые знаки перехода и отвечающие им правые знаки перехода присутствуют в наших записях всегда, но либо явно, либо неявно. [29]
В логической схеме не может быть левых знаков перехода с числовыми индексами, отличными от всех числовых индексов правых знаков перехода, а также не может быть левых знаков перехода, зависящих от параметров, области изменения функций у которых содержат числа, не являющиеся индексами правых знаков перехода. [30]