Здесь мы перефразировали один из
Здесь мы перефразировали один из поистине замечательных результатов, опубликованных Тьюрингом в его блестящей работе 1936 г.
В математике имеется множество доказательств существования. Однако есть колоссальная разница между способностью доказать, что нечто существует, и способностью построить это нечто. Тьюринг доказал, что его универсальная машина существует, показав, каким образом она строится. Следует иметь в виду, что он создал эту монументальную работу в 1936 г. - примерно за десять лет до того, как были построены первые современные вычислительные машины. Они имеют мало общего с описанной машиной Тьюринга. Многие из них могут, например, оперировать одновременно целым рядом магнитных лент, и, что более существенно, большинство их имеют очень большую память. С функциональной точки зрения механизм памяти современной ЭВМ аналогичен набору реле, каждое из которых может быть либо включено (замкнуто), либо выключено (разомкнуто). Множество, состоящее из десяти таких реле, может принимать 1024 различных состояния. Нередко современные вычислительные машины среднего размера имеют более миллиона таких элементарных компонентов памяти и могут, следовательно, принимать 21000000 состояний. Это невообразимо большое число (Земля, например, весит меньше 21000 фунтов [Прим. перев.: фунт - английская мера массы (веса), 1 фунт эквивалентен 453,592 г.]). И все же, в принципе, любая современная вычислительная машина - это машина Тьюринга. Более того, любая современная вычислительная машина, за исключением очень небольшого числа специализированных машин, - это универсальная машина Тьюринга. И практически это означает, что любая современная вычислительная машина может, по крайней мере принципиально, имитировать любую другую современную вычислительную машину.
Имеется еще один пробел, который нам предстоит заполнить. Если даже допустить, что любая вычислительная машина в сущности может делать то же, что и любая другая вычислительная машина, то остается еще вопрос о том, что вообще могут делать вычислительные машины, т.
Forekc.ru
Рефераты, дипломы, курсовые, выпускные и квалификационные работы, диссертации, учебники, учебные пособия, лекции, методические пособия и рекомендации, программы и курсы обучения, публикации из профильных изданий