Машина Поста Для уточнения понятия алгоритма амер. математиком Постом (1937 г.) было предложено строгое математическое построение, которое было названо.

Презентация:



Advertisements
Похожие презентации
Говорят, что формальный исполнитель А имитирует другого формального исполнителя В, если: каждому объекту, которым управляет исполнитель В, однозначно.
Advertisements

Машина Поста – это абстрактная (несуществующая реально) вычислительная машина, созданная для уточнения (формализации) понятия алгоритма. Представляет.
Машина Тьюринга Для формального определения алгоритма математиками Тьюрингом (1936 г.) и независимо от него Постом (1937 г.) были предложены абстрактные.
Автоматическая обработка информации Чебышев Михаил10 класс.
Машина Тьюринга. КТО? Машина Тьюринга – математическая (воображаемая) машина, а не машина физическая. Она такой же математический объект, как функция,
«ОБРАБОТКА ИНФОРМАЦИИ ИАЛГОРИТМЫ». Результаты Правила обработки Исполнитель Исходные данные.
Автоматическая обработка информации. В 30-х годах XX века возникает новая наука теория алгоритмов. Вопрос, на который ищет ответ эта наука: для всякой.
Ребята, сегодня вы познакомитесь с «игрушечной» машиной, которой в реальной жизни нет, но ее можно построить. Изобрел эту машину более 70-ти лет назад.
Алгоритм называется частичным алгоритмом, если мы получаем результат только для некоторых d є D и полным алгоритмом, если алгоритм получает правильный.
Машина Поста Доклад по курсу « Системы Искусственного Интеллекта » Шариповой А. Ф. ИУ 4-93.
Элементы теории алгоритмов Фестиваль педагогических идей «Открытый урок» уч.г. festival.1september.ru Narzyaeva I.Y., 2010.
СИСТЕМА КОМАНД МАШИНЫ ПОСТА ПЕРЕМЕЩЕНИЕ КАРЕТКИ РАБОТА С МЕТКАМИ ЦИКЛЫ.
Лекция Машина Тьюринга. Типы алгоритмов. История создания Интенсивный поиск универсального уточнения алгоритма предложил примерно 20 формальных конструкций.
LOGO Определение машины Тьюринга. Машина Тьюринга – абстрактный исполнитель, осуществляющий алгоритмический процесс Это математический объект, а не физическая.
Алгоритм - способ выполнения арифметических действий над десятичными числами. Обозначение любой последовательности действий, приводящей к решению поставленной.
Программирование Бессараб Федор Семенович. Содержание программы Введение. Возникновение вычислительных систем и компьютеров. Понятие об алгоритме. Машина.
Автоматическая обработка информации 10 класс. Модель машины Поста Программа – алгоритм, записанный по строгим правилам языка команд исполнителя – на языке.
Элементы теоретического программирования Машина Тьюринга – математическое понятие алгоритма.
Обработка информации Исполнитель Исходные данные Правила обработки Результаты Модель обработки информации.
Понятие алгоритма. Свойства алгоритма. Исполнители алгоритмов. Тема: 7 класс Котлярова Виктория Юрьевна, учитель информатики, МБОУ СОШ 1 им. Н.К.Крупской.
Транксрипт:

Машина Поста

Для уточнения понятия алгоритма амер. математиком Постом (1937 г.) было предложено строгое математическое построение, которое было названо «машиной», т. к. в нем используются некоторые понятия реальных машин – память, команда и др.

– бесконечная лента, в ячейках которой можно записывать всего два знака: 1 ( ставить метку) или 0 ( стирать метку) и головка для чтения/записи, управляемая программой. Машина Поста (МП)

Система команд МП Обозначения V i Записать 1 (отметку), перейти к i - той строке программы X i Записать 0 (стереть отметку), перейти к i -той строке i Шаг вправо, перейти к i -той строке i Шаг влево, перейти к i -той строке ? i ; j Если в ячейке 0, то перейти к i -той строке, иначе перейти к j -той строке ! Останов

Недопустимые действия МП П опытка записать 1 (отметку) в заполненную ячейку П опытка стереть отметку в пустой ячейке У ход головки в бесконечность или зацикливание

состоит из пронумерованных строк, в каждой строке записывается только одна команда. Программа МП

На ленте проставлена отметка в одной единственной ячейке. Головка стоит слева на некотором расстоянии. Надо стереть отметку и остановить головку слева от ячейки. Пример ? 1 ; 3 3. X ! Программа МП задачи 1

– всякий алгоритм представим в форме машины Поста. Тезис Поста

– программа для машины Поста, приводящая к решению поставленной задачи. Алгоритм (по Посту) Если для решения задачи можно построить машину Поста, то она алгоритмически разрешима.

В теории алгоритмов доказано, что машина Поста и машина Тьюринга эквивалентны по своим возможностям несмотря на то, что МП проще, чем МТ.