Cтраница 4
Тьюринга Гипотетическая вычислительная ма шина, использовавшаяся в качестве математической абстракции Аланом Тьюрингом с целью уточнения эффективной процедуры ( алгоритма) вычислений. Существует множество эквивалентных способов решения этой проблемы; первый из них был предложен самим Тьюрингом и опубликован в 1936 г. Машина Тьюринга - это автомат ( А. [46]
Тьюринга состояла в том, что работа человека ( вычислителя), следующего нек-рой системе определенных и точных предписаний ( алгоритму), может быть в принципе осуществлена машиной, выполняющей эти же предписания. На следующем этапе он либо продолжает воспринимать ту же часть данных, либо переходит к другой, находящейся непосредственно рядом с ней. [47]
Тьюринга отличалась от изложенной выше тем, что рассматривалась лента, бесконечная лишь в одну сторону. Независимо от Тьюринга еще более четкая в логич. [48]