Из истории...
Это направление уточнения понятия алгоритма основано на простой идее: для того чтобы алгоритм понимался однозначно, а каждый его шаг можно было считать элементарным и выполнимым, он должен быть представлен так, чтобы его могла выполнять машина. Чем проще структура машины и ее действия, тем убедительнее выглядит утверждение, что ее работа и есть выполнение некоторого алгоритма. При этом структура машины должна быть универсальной, т. е. такой, чтобы на ней можно было выполнить любой алгоритм.
Эта идея привела к концепции абстрактной машины как универсальной алгоритмической модели. Она была выдвинута Аланом Тьюрингом и Эмилем Постом практически одновременно (в 1936–1937 годах).
Э. Пост – выдающийся американский математик, специализировавшийся в области математической логики, был одним из первых, кто осознал важность такого понятия, как алгоритмическая полнота системы операций, используемых для преобразования информации.
Свыше пятидесяти лет назад, в 1935 году, Э. Пост опубликовал в «Журнале символической логики» статью «Финитные комбинаторные процессы, формулировка 1». В этой статье и появившейся одновременно в «Трудах Лондонского математического общества» статье английского математика А. М. Тьюринга «О вычислимых числах с приложением к проблеме решения» были даны первые уточнения понятия «алгоритм» – одного из центральных понятий математической логики и кибернетики, играющего важную роль в вопросах автоматизации, а поэтому и во всей жизни общества.
Важность идей Э. Поста – в том, что был предложен простейший способ преобразования информации, а именно он построил алгоритмическую систему (алгоритмическая система Поста).
Ее суть:
• Вся информация, которая должна быть обработана по существу, должна быть обработана по форме, т. е. с помощью двоичного алфавита.
• Вся информация должна обрабатываться побуквенно.
При этом Пост доказал, что его система обладает алгоритмической полнотой. Его идеи были настолько фундаментальны, что к ним вернулись через 30 лет. В 1967 году профессор Успенский пересказывает их с новых позиций. Он вводит термин машины Поста. Машина Поста – абстрактная машина, которая работает по алгоритмам, разработанным человеком.
Алан Тьюринг – математик и программист, предложивший стек.
В 1936 году А. Тьюринг описал схему некоторой абстрактной машины и предложил называть алгоритмами все, что умеет делать эта машина. Таким образом Тьюринг формализовал действия над объектами при помощи описания работы некоторой конструкции.
Уточнения понятия «алгоритм», предложенные Постом и Тьюрингом, не теряют своего значения до нашего времени. Машина Тьюринга часто используется в качестве рабочего аппарата в теории алгоритмов; машина Поста менее популярна, хотя она проще машины Тьюринга. Машина Поста устроена проще, чем машина Тьюринга, в том отношении, что ее элементарные действия проще, чем элементарные действия машины Тьюринга, и способы записи менее разнообразны, однако по этим причинам запись и переработка информации на машине Поста требует, вообще говоря, большего объема «памяти» и большего числа шагов, чем на машине Тьюринга.
Сами конструкции, предложенные Постом и Тьюрингом, сформулированы в виде «абстрактных машин»; это сделано в явной форме Тьюрингом и в неявной – Постом, у которого термин «машина» отсутствует. Изложение построений Тьюринга часто приводится в литературе по теории алгоритмов, а построения Поста, несмотря на их даже большую, чем тьюринговскую, простоту, долгое время вообще не издавались.
В 1970 году машина Поста была разработана в металле в Симферопольском университете. А машина Тьюринга была построена в металле в 1973 году в Малой Крымской Академии наук.


Цифровая экшн камера vholdr станет Вашим прекрасным выбором для съемок экстримального отдыха в отличном качестве.


Первоклассные натяжные потолки в екатеринбурге придадут Вашему дому уют, а офису стилизованность и респектабельный вид.


Прекрасный отдых на острове Борнео, включающий приятное обслуживание, море различных развлечений и, конечно же, бесконечных просторов чистейшей воды.