Cтраница 2
А -, если в схеме за ним не следует знак операторных связей, или совокупность символа А - и непосредственно следующего за ним знака; операторных связей. [16]
Каждому элементу, цикла, содержащему знак операторных связей, ставится в соответствие логич. Каждая часть цикла л г j порождает оператор-функцию х зг л ( шц, C0 ( i i... Если) ] S состоит из одного элемента, не имеющего знака операторных связей, то представляет собой оператор-константу, не зависящий от логич. Значениями упомянутых ф-ций являются последовательности символов AJ, к-рые получаются след, образом. При этом от элемента, не имеющего знака операторных связей, переходят к стоящему непосредственно справа, а от элемента, имеющего знак операторных связей, переходят в зависимости от значения отвечающей ему логич. Символы А / выписывают в порядке их просмотра. [17]
Последующий анализ цикла сводится к преобразованию структурной схемы с целью исключения из рассмотрения уже исследованного цикла. Для этого определяются все выходы из рассматриваемого цикла. Затем между последним в цикле символом Л - и его знаком операторных связей ( обозначим временно этот знак К) вписывается символ Лд, 1 ( Лд, - фиктивный элемент цикла), где Д - наибольший из номеров элементов структурной схемы. После знака X вписываются все элементы цикла, начиная с первого из них и кончая последним выходом из цикла, не являющимся последним элементом цикла. В результате такого преобразования рассматриваемый цикл оказывается исключенным. Далее все элементы структурной схемы программы ие-ренумеруются слева направо с соответствующим изменением индексов у всех знаков операторных связей. На этом анализ данного цикла оканчивается. Анализ циклов структурной схемы продолжают до тех пор, пока все циклы не будут исключены. [18]
Последующий анализ цикла сводится к преобразованию структурной схемы с целью исключения из рассмотрения уже исследованного цикла. Для этого определяются все выходы из рассматриваемого цикла. Затем между последним в цикле символом Л - и его знаком операторных связей ( обозначим временно этот знак X) вписывается символ Ад, г ( Лд, - фиктивный элемент цикла), где Д - наибольший из номеров элементов структурной схемы. После знака X вписываются все элементы цикла, начиная с первого из них и кончая последним выходом из цикла, не являющимся последним элементом цикла. В результате такого преобразования рассматриваемый цикл оказывается исключенным. Далее г се элементы структурной схемы программы не-реиумеруются слева направо с соответствующим изменением индексов у всех знаков операторных связей. На этом анализ данного цикла оканчивается. Анализ циклов структурной схемы продолжают до тех пор, пока все циклы не будут исключены. [19]
Как уже было сказано, информация, составленная блоком Р, представляет собой группу логических формул, состоящих из условий, приведенных к нормальному виду, причем вместо левых комплексов условий в этих формулах записаны условные числа номеров операторов. В конце каждой формулы стоит знак операторной связи. Для краткости будем называть номера операторов, представленные в левых частях условий, номерами условий. О знаке операторной связи, следующем за условием, будем говорить, что он принадлежит этому условию. [20]
Каждому элементу, цикла, содержащему знак операторных связей, ставится в соответствие логич. Каждая часть цикла л г j порождает оператор-функцию х зг л ( шц, C0 ( i i... Если) ] S состоит из одного элемента, не имеющего знака операторных связей, то представляет собой оператор-константу, не зависящий от логич. Значениями упомянутых ф-ций являются последовательности символов AJ, к-рые получаются след, образом. При этом от элемента, не имеющего знака операторных связей, переходят к стоящему непосредственно справа, а от элемента, имеющего знак операторных связей, переходят в зависимости от значения отвечающей ему логич. Символы А / выписывают в порядке их просмотра. [21]
Каждому элементу, цикла, содержащему знак операторных связей, ставится в соответствие логич. Каждая часть цикла л г j порождает оператор-функцию х зг л ( шц, C0 ( i i... Если) ] S состоит из одного элемента, не имеющего знака операторных связей, то представляет собой оператор-константу, не зависящий от логич. Значениями упомянутых ф-ций являются последовательности символов AJ, к-рые получаются след, образом. При этом от элемента, не имеющего знака операторных связей, переходят к стоящему непосредственно справа, а от элемента, имеющего знак операторных связей, переходят в зависимости от значения отвечающей ему логич. Символы А / выписывают в порядке их просмотра. [22]
Последующий анализ цикла сводится к преобразованию структурной схемы с целью исключения из рассмотрения уже исследованного цикла. Для этого определяются все выходы из рассматриваемого цикла. Затем между последним в цикле символом Л - и его знаком операторных связей ( обозначим временно этот знак К) вписывается символ Лд, 1 ( Лд, - фиктивный элемент цикла), где Д - наибольший из номеров элементов структурной схемы. После знака X вписываются все элементы цикла, начиная с первого из них и кончая последним выходом из цикла, не являющимся последним элементом цикла. В результате такого преобразования рассматриваемый цикл оказывается исключенным. Далее все элементы структурной схемы программы ие-ренумеруются слева направо с соответствующим изменением индексов у всех знаков операторных связей. На этом анализ данного цикла оканчивается. Анализ циклов структурной схемы продолжают до тех пор, пока все циклы не будут исключены. [23]
Последующий анализ цикла сводится к преобразованию структурной схемы с целью исключения из рассмотрения уже исследованного цикла. Для этого определяются все выходы из рассматриваемого цикла. Затем между последним в цикле символом Л - и его знаком операторных связей ( обозначим временно этот знак X) вписывается символ Ад, г ( Лд, - фиктивный элемент цикла), где Д - наибольший из номеров элементов структурной схемы. После знака X вписываются все элементы цикла, начиная с первого из них и кончая последним выходом из цикла, не являющимся последним элементом цикла. В результате такого преобразования рассматриваемый цикл оказывается исключенным. Далее г се элементы структурной схемы программы не-реиумеруются слева направо с соответствующим изменением индексов у всех знаков операторных связей. На этом анализ данного цикла оканчивается. Анализ циклов структурной схемы продолжают до тех пор, пока все циклы не будут исключены. [24]