в принципе, можно закодировать алфавит
По крайней мере, в принципе, можно закодировать алфавит языка, на котором записывается процедура, с помощью всего лишь двух символов: "0" и "1". В таком случае правила, образующие процедуру, можно переписать в новой нотации. В конечном счете, некоторой универсальной машине Тьюринга, оперирующей на алфавите из нулей и единиц, можно задать правила трансформации языка процедуры в виде закодированных соответствующим образом пятерок. Заданная процедура предписывает нам делать то, что делает проинструктированная таким образом машина Тьюринга, имитируя "машину", описание которой мы ей задали. Если, в принципе, мы понимаем, как работает машина Тьюринга (а, как мы убедились, для достижения этого понимания требуется очень немного сведений), и располагаем некоторым описанием универсальной машины Тьюринга, о котором шла речь, то нам детально известно, что процедура предписывает нам делать.
Подобный способ узнавания очень несовершенен. Так, мы не считаем, что досконально знаем какой-то город, или хотя бы имеем представление о нем, опираясь только на факт наличия подробной карты этого города. В отличие от этого, если мы достаточно хорошо понимаем тот язык, на котором записывается некоторая процедура, чтобы иметь представление о его правилах трансформации, то, вероятно, мы понимаем, что предписывают нам делать правила, сформулированные на этом языке.
Однако эти возражения, справедливые сами по себе, не имеют отношения к существу дела. Тезис Тьюринга следующий: можно реализовать в виде некоторой машинной программы любую процедуру, которую "естественно" назвать эффективной. Таким образом, всякий раз, когда мы считаем, что понимаем некоторое явление в том смысле, что нам известны правила, определяющие его поведение, мы должны уметь воспроизвести свое понимание в виде некоторой программы вычислительной машины. Тьюринг доказал, что все вычислительные машины (за исключением небольшого числа вычислительных машин специальных типов, которые нас не интересуют) взаимно эквивалентны, т.
Forekc.ru
Рефераты, дипломы, курсовые, выпускные и квалификационные работы, диссертации, учебники, учебные пособия, лекции, методические пособия и рекомендации, программы и курсы обучения, публикации из профильных изданий