Создан заказ №2078893
14 мая 2017
Основные понятия, пространства символов и примитивные операции в машине Поста
Как заказчик описал требования к работе:
Реферат нужен на 5-6 страниц + небольшая презентация, до 22.05.2017 Предмет:математическая логика
Фрагмент выполненной работы:
Введение
В середине 30-х годов прошлого столетия выдающимся американским математиком Эмилем Л. Постом в «Журнале символической логики» была опубликована статья «Финитные комбинаторные процессы, формулировка 1». В данной статье и в появившейся одновременно с этим статье за авторством английского математика А. М. Тьюринга «О вычислимых числах с приложением к проблеме разрешения» были описаны первые уточнения такого понятия, как понятия «алгоритм», являвшимся одним из центральных понятий в математической логике и информатике и начинавшего играть все более возрастающую роль в вопросах автоматизации, и, соответственно, во всей жизни человеческого общества.
Уточнения понятия «алгоритм», которые были предложены Постом и Тьюрингом, не потеряли своего значения до сих пор. (работа была выполнена специалистами author24.ru) Машину Тьюринга всегда применяют как рабочий аппарат в современной теории алгоритмов; популярность машины Поста меньше, что, вероятно, обусловлено тем, что она проще тьюринговского творения.
Устройство машины Поста проще машины Тьюринга, в том отношении, что все ее элементарные действия намного проще элементарных действий машины Тьюринга, способы записи не такие разнообразные, но именно из-за этого как для записи, так и для переработки информации на машине Поста требуются больший объем «памяти» и большее число шагов, нежели в машине Тьюринга,
Непосредственно конструкции своих творений Пост и Тьюринг представили в виде неких «абстрактных машин»; это сделал в явной форме Тьюринг и в неявной — Пост, не использовавший термин «машина». Изложение умозаключений Тьюринга очень часто можно встретить в литературе, касающейся теории алгоритмов. Что же касается Поста, то, несмотря на их даже большую простоту по сравнению с тьюринговскими, они, кроме оригинальной статьи Поста, продолжительный период времени не были изложены ни в специальной, ни в популярной литературе.
Машина Поста
Машина Поста является абстрактной вычислительной машиной, которая создана в целях уточнения понятия алгоритма. Машина является универсальным исполнителем, который позволяет вводить начальные данные, а также читать результат выполнения программы.
В 1936 г. американский математик Эмиль Пост в своей статье описал систему, которая обладает алгоритмической простотой и способна к определению того, является ли определенная задача алгоритмически решаемой. В случае, если у задачи имеется алгоритмическое решение, тогда ее можно представить в виде команд для машины Поста.
Основные понятия алгоритмического формализма Поста следующие.
Пространство символов. В нем задаётся конкретная проблема и получается ответ. Символы должны входить в алфавит – конечное непустое упорядоченное множество символов S Î {s1, s2, s3,.. sn}. Из символов алфавита формируются слова – конечные (возможно пустые) последовательности символов. Для слов определяется лексикографический порядок. Считается, что слово U = u1 u2... un предшествует слову V = v1 v2... vn такой же длины, если существует такое 0 £ m £ n, что при всех 1 £ i < mui = vi и um < vm (например, для слов в алфавите {0, 1}1101 < 1110). Слова используются для представления исходных данных и отображения результатов работы.
2. Набор инструкций – операций в пространстве символов. Они определяют как сами операции, так и порядок их выполнения.
3. Проблема. Она задается «внешней силой» (термин Поста) путем пометки конечного количества ячеек, при этом считается, что любая конфигурация начинается и заканчивается помеченной ячейкой. После применения к конкретной проблеме некоторого набора инструкций решение представляется так же в виде набора помеченных и непомеченных ячеек, распознаваемое той же внешней силой.
Машина Поста состоит из ленты и каретки (называемой также считывающей и записывающей головкой). Лента бесконечна и разделена на секции одинакового размера — ячейкиПосмотреть предложения по расчету стоимости
Заказчик
заплатил
заплатил
200 ₽
Заказчик не использовал рассрочку
Гарантия сервиса
Автор24
Автор24
20 дней
Заказчик принял работу без использования гарантии
15 мая 2017
Заказ завершен, заказчик получил финальный файл с работой
5
Основные понятия, пространства символов и примитивные операции в машине Поста .docx
2017-05-18 21:43
Последний отзыв студента о бирже Автор24
Общая оценка
5
Положительно
Спасибо! Отличная и качественная работа. Выполнена в срок. При необходимости буду обращаться к Вам ещё. Особенно понравилась забота автора о качестве материала.
Хочешь такую же работу?
300 ₽
