Настоящая машина Тьюринга

Настоящая машина ТьюрингаНастоящая машина Тьюринга, существующая либо в том абстрактном виде, в котором она оставалась в период 1936—1950 гг., либо в своей сегодняшней форме персонального компьютера, определяется в качестве «абстрактной машины», то есть машины, которая может симулировать действие любой другой машины. Это, разумеется, не значит, что машина Тьюринга может симулировать холодильники, автомобили или тостеры. Скорее, она может воспроизводить поведение любой иной машины, которая работает с «символами» или же физическими описаниями того или иного рода: печатных машинок, калькуляторов, пианол. Всем нам известно применение компьютеров для обработки текстов. Текстовый процессор — это просто компьютерная программа, симулирующая работу печатной машинки.

Тьюринг понял, что внутреннее функционирование печатных машинок, калькуляторов и других похожих физических устройств можно исчерпывающим образом описать той или иной «таблицей поведения». Например, можно сказать, что печатная машинка состоит из нескольких компонент: клавиш, позиции печати, переключателей регистров прописных и строчных букв и т. д. Для любой комбинации этих компонент машинка выполняет одно и только одно действие: если машинка находится в регистре строчных букв, нажимается клавиша с буквой «А», а позиция печати — начало строки, машинка напечатает строчную букву «а» в этом положении. Если бы мы записали все возможные комбинации и следующие из них действия машинки, мы бы абстрагировали операции машинки, представив их в виде отдельного списка. Отыскав строку с той или иной частной комбинацией компонент, мы бы могли точно сказать, что сделает машинка. Если бы мы затем построили нашу собственную машину, которая могла бы читать список этих комбинаций и выполнять соответствующие действия в соответствии с ним, мы бы получили возможность симулировать работу печатной машинки. Во вполне определенном смысле список или таблица поведения задает «абстрактную печатную машинку». Подобным образом, мы могли бы составить такие же списки поведения и для других машин, а потом осуществлять их поведение на нашем новом устройстве.

Похожие записи

  • 30.03.2015 Обработка программы В системах с пакетной обработкой программы разрабатываются вручную, а затем кодируются в виде перфокарт. Карты вручаются особой касте технических работников, которые обладают […]
  • 12.04.2015 Склонность к заторам Действительно, подобно вихрям и другим природным феноменам, созданным филумом, децентрализованные системы командования способны сохранять свою целостность посреди турбулентности битвы, […]
Интересные записи

Copyright © 2014. All Rights Reserved.