Cтраница 1
Отношения следования между линейными участками других типов определяются в процессе расчленения программы на линейные участки. [1]
Отношения следования и управления во фразе нормально связаны так называемым условием проективности. [2]
Например определить отношения следования между линейными участками для программ, написанных на языке ПЛ / 1 или Алгол-60, более сложно, чем для программ, написанных на языках Фортран или Кобол. Это обусловлено, в частности, тем, что операторы, которые могут прерывать ход выполнения программы, в языках ПЛ / 1 и Алгол-60 имеют большие возможности по сравнению с другими языками. [3]
Докажите, что отношения следования обобщенных F-зависимостей для конечных и произвольных отношений совпадают. [4]
В следующей теореме доказывается, что отношения следования на конечных и произвольных отношениях не совпадают. Под произвольными отношениями мы понимаем отношения, которые могут быть как конечными, так и бесконечными. [5]
Формула 1.2 выражает закон транзитивности для отношения следования: если из х следует у и из у следует z, то из х следует г. Как видно из таблицы, этот закон в математической логике, записанный с помощью импликации, остается справедливым. [6]
Это отношение, в отличие от отношения следования II, разрешает элементам х и у реализоваться в процессе в любом порядке: х может как предшествовать у, так и следовать за ним. Отношение con рефлексивно, симметрично и нетранзи-тивно. [7]
Pan) - Отношения предшествования для Р и отношения следования для Р являются отношениями типа Rt. Таким образом, множество входных элементов идентифицирует множество выходных элементов. Зависимость Р - f ( P) полная, так как любая подстановка вместо Р - PZ1 нарушает эту зависимость. [8]
При построении формализованных языков стремятся к тому, чтобы отношения следования в синтаксическом смысле воспроизводили соответствующие отношения в семантическом смысле. [9]
При связанном распределении для) построения структуры необходимо задать отношения следования и предшествования элементов при помощи указателей. Указателями служат адреса, хранимые в записях данных. Таким образом, в отличие от последовательного распределения, при котором адресная функция позволяет вычислить адрес следующего элемента чри связанном распределении значение адресной функции может быть получено путем просмотра хранящихся указателей. [10]
При связанном распределении / для, построения структуры необходимо задать отношения следования и предшествования элементов при помощи указателей. Указателями служат адреса, хранимые в записях данных. Таким образом, в отличие от последовательного распределения, при котором адресная функция позволяет вычислить адрес следующего элемента, чри связанном распределении значение адресной функции может быть получено путем просмотра хранящихся указателей. [11]
Если упорядоченный граф сильно связен, то расстояние можно вычислить, исходя из отношения следования о, посредством следующего алгоритма. [12]
Чтобы убедиться в том, что это дей ствительно так, заметим прежде всего, что отношения следования пар точек на прямых в обоих реализациях после удаления бесконечно удаленных точек находятся в соответствии. И поэтому остается только показать, что установление порядка следования троек в аналитической реализации формально совпадает с восстановлением порядка следования троек на проективной прямой через порядок следования пар точек на аффинной прямой. [13]
Для анализа хода выполнения программы прежде всего необходимо расчленить программу, представленную в промежуточной форме, на линейные участки и установить отношения следования ( логические связи) между ними. [14]
В фрагменте исходной программы, написанной на языке Фортран, с помощью меток операторов, которым передается управление в операторах условного и безусловного переходов, можно достаточно легко определить отношения следования для его линейных участков. В то же время линейный участок 6 для фрагмента исходной программы, написанной на языке ПЛ / 1, не снабжен меткой. Задача определения отношений следования между линейными участками программ, составленных на языке ПЛ / 1, еще более усложняется, когда конструкции THEN и ELSE содержат группы DO или блоки BEGIN, которые, в свою очередь, могут содержать операторы цикла и условные операторы. [15]