5.4.3. Устройство сдвига shifter.

Операционное устройство сдвига обеспечивает полный набор сдвигов для 16-битных аргументов, результатом которых является 32-битное слово. Операции включают логические и арифметические сдвиги и нормализацию. Устройство также производит нахождение порядка и общего порядка для блока их нескольких чисел. Базовые примитивы могут быть эффективно скомбинированы для вычислений повышенной точности и реализации вычислений с плавающей точкой.

Структурная схема устройства показана на рис.5.9.

Тезис Чёрча (Churh’s thesis)

«Слабейшая форма» (Ю.И.Мамин)

Можно явно указать:

а) семейство простейших полувычислимых функций;

б) семейство элементарных операций, которые позволяют строить по одним полувычислимым функциям другие полувычислимые функции;

с тем свойством, что любая полувычислимая функция получается за конечное число шагов, каждый из которых состоит в применении одной из элементарных операций к ранее построенным, либо к простейшим функциям.

«Обычная форма» (Ю.И.Мамин)

А) Функция f полувычислима, если и только если она частично рекурсивна.

Б) Функция f вычислима, если и только если f и частично рекурсивны.

(Здесь обозначено: D(f) – область определения функции f , а (x) – характеристическая функция, принимающая значение 1, если xX, либо значение 2, если xX)

«Конструктивно» (Вычислительные системы)

Тезис Чёрча – утверждение, согласно которому понятие вычислимости по Тьюрингу является корректной формализацией нашего интуитивного понятия эффективной вычислимости.

1 Архитектура фон–неймановских ЭВМ (первых ЭВМ) была ориентирована на научные и экономические расчеты, а следрвательно была нужна большая скорость выполнения простых команд. Так и родился «вечный» Фортран.

1 Например, включение в набор команд (для специализированных машин по обработке графической информации) операций преобразования координат, масштабирования, преобразования развертки и т.д.

1 Пул, накопительный блок – область памяти, используемая для запоминания множества коротких записей.

192