Cтраница 4
Вариант такой граф-схемы представлен на рис. 5.6. Алгоритм, определенный граф-схемой, работает следующим образом. Входное слово поступает на вход и двигается по направлениям, указанным стрелками; При попадании слова в распознавательный узел осуществляется проверка условия, сопоставленного этому узлу. При выполнении условия слово направляется в операторный узел, при невыполнении - к следующему распознавателю. [46]
Су подставить соответствующие граф-схемы, получим граф-схему для нормального алгоритма, но уже с операторами машины Тьюринга. Следовательно, каждый нормальный алгоритм моделируется машиной Тьюринга. [47]
Следовательно, минимальная граф-схема определяет искомый алгоритм экстраполяционной задачи. [48]
Программа анализа граф-схем ( ПАГС) работает с матрицами смежности ( МС) граф-схем, которые либо снимаются автоматически в памяти ЦВМ ( см. предыдущий подпараграф), либо задаются вручную. Элементом МС являются адреса команд условного перехода либо другие точки программы, назначаемые исследователем. [49]
Конечную вершину граф-схемы без метки назовем выходом граф-схемы с обратными связями. [50]
Пусть несколько граф-схем с обратными связями от переменных xl, xi хп собдинены последовательно. Это означает, что все ( или часть) выходы одних граф-схем соединены со входами других граф-схем. Вычисления по такой граф-схеме проводятся так же, как и в случае граф-схемы с обратными связями, только при переходе к каждой следующей граф-схеме используется очередной набор значений переменных. Поэтому в граф-схеме должны быть указаны соединения составляющих ее граф-схем. [51]
Все операторы граф-схемы на множестве отрезков выполнимы. С помощью циркуля можно сравнивать два отрезка, складывать их, а также из большего вычитать меньший. Важно отметить, что речь идет об отрезках, а не их длине. [52]