Cтраница 4
Рассматривать результаты использования вычислительной техники, достигнутые к концу четвертой пятилетки, целесообразно с обзора парка средств вычислительной техники. До конца 1975 г. число вычислительных машин возросло на 374, не считая более ста мини - ЭВМ. Мощность парка вычислительных средств, запланированная к концу 1975 г., была достигнута и даже перевыполнена при меньшем количестве машин, чем было запланировано, так как вместо принятой в Программе плановой единицы были внедрены значительно большие по мощности и составу конфигурации машин. [46]
Мы теперь хотим найти нижнюю границу максимума времени, которое машина М должна потратить при обработке индивидуальных элементов множества Ah, при помощи &, /, s, Q. Каждое вычисление, которое машина М выполняет на элементах Ah, можно разбить на две части: вычисление при обработке базы входа и вычисление при обработке хвоста. Мы будем игнорировать детали первой части и остановимся на конфигурации, в которой пребывает машина после первой части. Таким образом, мы можем думать о первой части вычисления как об акте отображения базового сегмента в элементе из А в такую конфигурацию машины, в которой машина М начинает обработку хвостовой части входной последовательности. [47]
Их определение имеет вид совместной рекурсии, которую мы только что разобрали. Поэтому эти функции примитивно рекурсивны. Будем считать, что после появления заключительного состоянии конфигурация машины не меняется. Если мы знаем, что число шагов работы ограничено примитивно рекурсивной функцией, то достаточно подставить ее на место пятого аргумента ( числа шагов), чтобы убедиться, что заключительная конфигурация машины является примитивно рекурсивной функцией от ее начальной конфигурации. Следовательно, результат работы является примитивно рекурсивной функций начального данного. [48]