Cтраница 4
Для установления существования предела последовательности широко используется следующий достаточный признак существования предела. [46]
Какие свойства проявляет данный объект, зависит от того, с какими объектами он вступает во взаимодействие. Поэтому установление существования ранее неизвестного свойства - необходимый, но недостаточный элемент содержания открытия. [47]
Итак, исследование алгоритмической разрешимости задачи анализа потоковых моделей требует обобщения семантической природы меток дуг и вершин потокового графа G программы ( см. § 2.3), а также формализации самой схемы анализа. Цель анализа таких моделей - установление существования наименьшей верхней грани свойств дуг и вершин потокового графа G, которая полно, но не избыточно представляет структурный аспект поведения программ. [48]