Cтраница 2
Работа машины Тьюринга протекает следующим образом. Дальнейший процесс протекает уже автоматически и однозначным образом определяется функциональной схемой машины. [16]
Впрочем, несколько позднее ( см. § 13) станут ясными другие, причем очень важные причины, по которым такая двойственная интерпретация оправдана. Имея в виду вышесказанное, мы будем свободно пользоваться терминами функциональная схема машины Тьюринга и тьюрин-гова программа как синонимами. [17]
Двоичная система счисления обладает большими достоинствами и в области арифметики, что дает возможность значительно упростить конструкцию арифметического и запоминающего устройств. Кроме того, ее преимущество заключается также и в том, что она позволяет применить аппарат математической логики при анализе и синтезе функциональных схем машины, а также при решении разнообразных логических задач. [18]
Двоичная система счисления обладает большими достоинствами и в области арифметики, что дает возможность значительно упростить конструкцию арифметического и запоминающего устройства. Кроме того, ее преимущество заключается также и в том, что она позволяет применить аппарат математической логики при анализе и синтезе функциональных схем машины, а также при решении разнообразных логических задач. [19]
На информационной ленте машины Тьюринга в трех секциях в произвольном порядке записаны три различные буквы: А, В и С. Каретка в начальном состоянии обозревает букву, расположенную справа. Необходимо составить функциональную схему машины Тьюринга, которая сумеет поменять местами крайние буквы. [20]
Этот алгоритм был уже ранее описан нами дважды: первый раз в виде словесного предписания, а второй раз в виде программы для электронной машины с автоматическим управлением. На этот раз алгоритм мы зададим в виде функциональной схемы тьюринговой машины и проследим процесс вычисления в машине. Этот процесс складывается из чередующихся попеременно циклов сравнения и циклов вычитания, соответствующих элементарным операциям сравнения и вычитания в электронной машине. [21]
Двоичная система счисления обладает большими достоинствами с точки зрения выполнения арифметических операций. Это позволяет существенно упростить конструкции арифметических и запоминающих устройств. Большое преимущество двоичной системы заключается также в том, что она позволяет применить аппарат математической логики при проектировании функциональных схем машины, а также при решении разнообразных логических задач. Ввиду указанных преимуществ двоичная система счисления в настоящее время является основной системой счисления, применяемой в ЭВМ. [22]
Для того чтобы лучше уяснить себе, как это делается, представим себе следующий эксперимент. Пусть на ленту машины подана начальная информация U, и предположим, что некоторому человеку предложено указать, как будет перерабатывать машина эту информацию и во что она переработает ее окончательно. Если этот человек знаком с принципами работы тыоринго-вых машин, то достаточно ему сообщить, кроме этой начальной информации U, еще функциональную схему машины. Тогда человек, п о д р а ж а к работе машины и выписывая нужные конфигурации так, как мы это сделали при разборе алгоритма Евклида, сможет получить тот же результат, что и машина. Но это как раз и означает, что такой человек способен выполнять работу любой тьюринговой машины, если ему только задана ее функциональная схема. Сам же процесс подражания машине в соответствии с ее функциональной схемой может быть регламентирован в виде точного предписания, которое можно сообщить человеку, не имеющему ни малейшего понятия о машинах Тьюринга. [23]
![]() |
Ячеечный вариант конструктивной иерархии больших ЭВМ. [24] |
На рис. 3.1 представлен один из наиболее распространенных вариантов конструктивной иерархии универсальных ЭВМ со сложной структурой. В нем первый уровень конструктивной иерархии включает в себя типовой элемент замены ( ТЭЗ) - конструктивно законченную единицу, которая самостоятельна по технологии производства, служит исходной конструктивной единицей всей машины и взаимозаменяема с однотипными ТЭЗ. Число типов ТЭЗ ( их номенклатуру) следует делать как можно меньшим. Это достигается рациональным разбиением функциональной схемы машины на отдельные повторяющиеся участки. В качестве ТЭЗ в рассматриваемом варианте конструктивной иерархии используются ячейки - прямоугольные печатные платы с разъемом ( печатным или штыревым) и ручкой, объединяющие до нескольких десятков микросхем. [25]
Уверенность в справедливости гипотезы основана главным образом на опыте. Все известные алгоритмы, которые были придуманы в течение многих тысячелетий истории математики, могут быть заданы посредством тьюринговых функциональных схем. Правда, содержание гипотезы не обращено только в прошлое и не ограничивается констатацией того, что для всех известных алгоритмов оказалось возможным задание функциональными схемами. Содержание гипотезы имеет и вполне отчетливый характер прогноза на будущие времена: всякий раз, когда в будущем какое-либо предписание будет признано алгоритмом, тс независимо от того, в какой форме и какими средствами это предписание будет первоначально выражено, его можно будет задавать также в виде функциональной схемы машины Тьюринга. [26]
![]() |
Блок-схема контроля по модулю. [27] |
Первый способ основан на схемном самоконтроле всех мелких узлов машины. Место неисправности определяется с точностью до контролируемого узла. С помощью второго способа место неисправности узлов определяется путем внешнего анализа их работы. При использовании первого способа требуется дополнительное оборудование и усложняются функциональные схемы машины. Поэтому применение его для сложных машин нежелательно. При использовании второго способа получается более полная информация о работе узлов. [28]