Машина Поста - История изменений

Logic-samara в 13:02, 14 января 2024

2024-01-14T13:02:15Z

Fenikals: Снята защита с «Машина Поста»

2017-05-28T13:05:35Z

Снята защита с «Машина Поста»

Logic-samara в 16:49, 11 августа 2016

2016-08-11T16:49:09Z

Logic-samara в 09:54, 15 февраля 2016

2016-02-15T09:54:43Z

Logic-samara в 13:27, 14 февраля 2016

2016-02-14T13:27:22Z

Logic-samara в 13:24, 14 февраля 2016

2016-02-14T13:24:36Z

Logic-samara в 06:16, 14 февраля 2016

2016-02-14T06:16:35Z

Logic-samara в 18:08, 13 февраля 2016

2016-02-13T18:08:39Z

Logic-samara в 07:24, 12 февраля 2016

2016-02-12T07:24:23Z

Logic-samara в 08:48, 11 февраля 2016

2016-02-11T08:48:18Z

@@ Строка 1: / Строка 1: @@
 '''Машина Поста''' (МП) — это абстрактная вычислительная машина для выполнения программ, предложенная американским математиком Эмилем Леоном Постом в 1936 году.
 == Состав МП ==
 МП состоит из каретки (или считывающей и записывающей головки) и ленты, разбитой на секции (ячейки) и бесконечной в обе стороны.
@@ Строка 5: / Строка 6: @@
 Работа МП определяется программой, состоящей из конечного числа командных строк.
 == Виды команд: ==
-* сдвиг вправо
+*сдвиг вправо
-* сдвиг влево
+*сдвиг влево
-* запись 1
+*запись 1
-* запись 0
+*запись 0
-* переход (безусловный)
+*переход (безусловный)
-* условный переход
+*условный переход
-* стоп
+*стоп
 Введём обозначения:
@@ Строка 59: / Строка 60: @@
 После запуска программы на МП возможны следующие варианты:
-* работа может закончиться командой '''S''';
+*работа может закончиться командой '''S''';
-* работа никогда не закончится (т.е.программа составлена не корректно).
+*работа никогда не закончится (т.е.программа составлена не корректно).
 == Пример задачи ==
 [[файл:МП11.JPG]], где '''x''', '''y''' - неотрицательные целые числа.
@@ Строка 101: / Строка 102: @@
 Выходные данные:
 '''11110<sub>14</sub>00'''.
-* Заметим, что [[машина Тьюринга]] во многом аналогична машине Поста.
+*Заметим, что [[машина Тьюринга]] во многом аналогична машине Поста.
-== Другие алгоритмы: ==
+== [[Алгоритм|Другие алгоритмы:]] ==
 {{Список Алг}}
-== Ссылки ==
+= [[Разделы математики|Другие разделы]] =
-* Википедия. Машина Поста.
+= Ссылки =
-* [[Участник:Logic-samara]]
+*Википедия. Машина Поста.
-[[Категория:Дискретная математика]][[Категория:Алгоритмы]]
+*[[Участник:Logic-samara]]

@@ Строка 103: / Строка 103: @@
 * Заметим, что [[машина Тьюринга]] во многом аналогична машине Поста.
 == Другие алгоритмы: ==
-*[[наибольший общий делитель]];
+{{Список Алг}}
-*[[наименьшее общее кратное]];
-*[[проверка кратности]];
-*[[деление по модулю]];
-*[[получение простых чисел]];
-*[[разложение на множители]];
-*[[система счисления]];
-*[[метод математической индукции]];
-*[[схема примитивной рекурсии]];
-*[[рекурсия]];
-*[[машина Поста]];
-*[[машина Тьюринга]];
-*[[Составление перестановок|комбинаторные алгоритмы]];
-*[[сортировка]];
-*[[алгоритм определения мест]].
 == Ссылки ==
 * Википедия. Машина Поста.
 * [[Участник:Logic-samara]]
 [[Категория:Дискретная математика]][[Категория:Алгоритмы]]

@@ Строка 119: / Строка 119: @@
 *[[алгоритм определения мест]].
 == Ссылки ==
-* Википедия
+* Википедия. Машина Поста.
 * [[Участник:Logic-samara]]
 [[Категория:Дискретная математика]][[Категория:Алгоритмы]]

@@ Строка 112: / Строка 112: @@
 *[[метод математической индукции]];
 *[[схема примитивной рекурсии]];
-*[[рекурсии]];
+*[[рекурсия]];
 *[[машина Поста]];
 *[[машина Тьюринга]];

@@ Строка 112: / Строка 112: @@
 *[[метод математической индукции]];
 *[[схема примитивной рекурсии]];
 *[[машина Поста]];
 *[[машина Тьюринга]];

← Предыдущая	Версия 13:05, 28 мая 2017
(нет различий)

@@ Строка 114: / Строка 114: @@
 *[[машина Поста]];
 *[[машина Тьюринга]];
-*[[составление перестановок]];
+*[[Составление перестановок|комбинаторные алгоритмы]];
-*[[составление лексикографических перестановок]];
-*[[составление сочетаний]];
-*[[составление лексикографических сочетаний]];
-*[[составление размещений]];
-*[[составление лексикографических размещений]];
-*[[составление разбиений]];
-*[[составление лексикографических разбиений]];
 *[[сортировка]];
 *[[алгоритм определения мест]].