Машина Поста Работу выполняли: Паршакова А Вотева А Илюхин Д
Понятие « машины Поста » Машина Поста - это не реальная, а мысленная конструкция, которая существует лишь в нашем воображении
Краткий обзор Машина Поста ( МП ) - Понятие « машины Поста » - Состав машины Поста - Команды машины Поста - Программа машины Поста - Представление чисел - Постулаты Поста - Применение машины Поста
* Машина Поста ( МП )абстрактная вычислительная машина, которая отличается от машины Тьюринга большей простотой. * Обе машины « эквивалентны » и были созданы для уточнения понятия « алгоритм » .
Состав машины Поста. Лента Машина Поста Каретка
* Лента бесконечная и разделена на секции одинакового размера. Порядок, в котором расположены секции ленты, подобен порядку, в котором расположены все целые числа * В каждой секции ленты может быть : ничего не записано - секция пуста Или записана метка V - секция отмечена. Эта информация образует состояние ленты
* Каретка - считывающая и записывающая головка * Свойства каретки : - распознает стоит или нет метка в распознаваемой секции, - ставит или стирает метку в той секции, напротив которой она стоит
Суть работы : каретка передвигается вдоль ленты и печатает или стирает метки
Команды машины Поста - Команды движения вправо - Команды движения влево - Команды печатания метки
Команды машины - Поста Команды стирания метки - Команды передачи управления - Команды остановки
Команды машины i – номер команды j – отсылка к команде j 1 – отсылка к команде, если метка пуста j 2 – отсылка к команде, если метка отмечена i, j, j 1, j 2 - натуральные числа
Команды машины Поста. Выводы Чтобы Машина Поста начала работать, надо как то расставить метки по секциям ленты и поставить каретку напротив секции с номером нуль.
Возможное завершение программы : положение каретки до команды следующая командазавершение программы безрезультативная остановка
Возможное завершение программы : Положение каретки до команды Следующая команда Завершение команды Безрезультативная остановка Результативная остановка
Представление чисел Массив – конечная последовательность идущих подряд друг за друг отмеченных секций ленты, заключенных между двумя пустыми секциями. Количество отмеченных таким образом секций – длина массива.
Представление чисел Число n записывается на ленте массивом длины (n+1). Пример представления чисел 4, 0, 1:
Представление чисел
Постулаты Поста * 1936 год статья « Финитные комбинаторные процессы – формулировка 1» , « рабочая гипотеза » : 1. из разрешимости задачи, при помощи машины Поста, следует разрешимость при помощи алгоритма. 2. из разрешимости задачи, при помощи алгоритма, следует разрешимость при помощи машины Поста.
Применение машины Поста Для лучшего понимания термина « алгоритм » Для понимания принципов работы ЭВМ, в связи с наличием общих свойств : наличие атомарных носителей информации, наличие некоторого набора элементарных действий, работа на основе особой инструкции – программы.
Скачать презентацию Машина Поста Работу выполняли Паршакова А Вотева А
машина Поста.ppt