Академический Документы
Профессиональный Документы
Культура Документы
МОДЕЛИ ВЫЧИСЛЕНИЙ
Глава 2
МОДЕЛИ ВЫЧИСЛЕНИЙ
52
О.Н. Паулин. Основы теории алгоритмов
53
Глава 2. МОДЕЛИ ВЫЧИСЛЕНИЙ
54
О.Н. Паулин. Основы теории алгоритмов
55
Глава 2. МОДЕЛИ ВЫЧИСЛЕНИЙ
56
О.Н. Паулин. Основы теории алгоритмов
57
Глава 2. МОДЕЛИ ВЫЧИСЛЕНИЙ
58
О.Н. Паулин. Основы теории алгоритмов
59
Глава 2. МОДЕЛИ ВЫЧИСЛЕНИЙ
60
О.Н. Паулин. Основы теории алгоритмов
61
Глава 2. МОДЕЛИ ВЫЧИСЛЕНИЙ
62
О.Н. Паулин. Основы теории алгоритмов
63
Глава 2. МОДЕЛИ ВЫЧИСЛЕНИЙ
64
О.Н. Паулин. Основы теории алгоритмов
65
Глава 2. МОДЕЛИ ВЫЧИСЛЕНИЙ
66
О.Н. Паулин. Основы теории алгоритмов
67
Глава 2. МОДЕЛИ ВЫЧИСЛЕНИЙ
68
О.Н. Паулин. Основы теории алгоритмов
ме n = p a a1 am
0 p1 ... p m , где p0=2, p1=3, p2=5 и вообще pm - m-е простое
0
число.
Из этой записи видно (в силу теоремы о единственности разложения
любого числа на простые множители), что каждому числу n однозначно соот-
ветствует набор a1, a2, .., am и, наоборот, каждому набору a1, a2, ..., am
однозначно соответствует число n. Например, при n=60 имеем: 60 = 22 31 51,
т.е. a1 = 2, a2 = 1, a3 = 1.
69
Глава 2. МОДЕЛИ ВЫЧИСЛЕНИЙ
70
О.Н. Паулин. Основы теории алгоритмов
71
Глава 2. МОДЕЛИ ВЫЧИСЛЕНИЙ
72
О.Н. Паулин. Основы теории алгоритмов
73
Глава 2. МОДЕЛИ ВЫЧИСЛЕНИЙ
74
О.Н. Паулин. Основы теории алгоритмов
75
Глава 2. МОДЕЛИ ВЫЧИСЛЕНИЙ
76
О.Н. Паулин. Основы теории алгоритмов
77
Глава 2. МОДЕЛИ ВЫЧИСЛЕНИЙ
78
О.Н. Паулин. Основы теории алгоритмов
79
Глава 2. МОДЕЛИ ВЫЧИСЛЕНИЙ
80
О.Н. Паулин. Основы теории алгоритмов
Нетрудно видеть, что блоки F1, D1, F2 образуют автомат Мили (рис.
2.1,б), который формирует новый символ x, xX, для записи на ленте, а
81
Глава 2. МОДЕЛИ ВЫЧИСЛЕНИЙ
82
О.Н. Паулин. Основы теории алгоритмов
83
Глава 2. МОДЕЛИ ВЫЧИСЛЕНИЙ
84
О.Н. Паулин. Основы теории алгоритмов
Иногда МТ может иметь несколько состояний покоя: q '0 , q '0' , q '0'' ... .
Таблица 2.4 Таблица 2.5 Таблица 2.6 Таблица 2.7
A 0 1 B 0 1 C 0 1 D 0 1
’’
q1 q01S q11R q1 q10L q00L q1 q00L q11L q1 q0’0S q 1S
0
85
Глава 2. МОДЕЛИ ВЫЧИСЛЕНИЙ
86
О.Н. Паулин. Основы теории алгоритмов
Т= .
...
( l )
T1
...
(r )
(2.15)
Здесь точки над Т1 и l указывают на отождествление l-го состояния
l
покоя машины Т1 с её начальным состоянием ( q1 q 0 ). Отметим, что
если Т1 имеет лишь одно состояние покоя, то после применения итерации
получается машина, не имеющая вовсе состояния покоя.
Если обратиться к понятию программа для МТ, то, как не трудно
видеть, композиции машин соответствует линейное представление общей
программы, итерации - циклическое представление, а множеству стоп-
состояний – разветвление в программе. Таким образом, в программе
(алгоритме, поскольку программа – одно из представлений алгоритма) для
суперпозиции МТ можно выделить три базовых фрагмента, присущих
схемам алгоритма. Из этого следует принципиальная возможность
создания МТ (её ФС), реализующей любой алгоритм. Эта возможность
утверждается в основной гипотезе теории алгоритмов: всякий алгоритм
может быть задан посредством тьюринговой функциональной схемы и
реализован в соответствующей машине Тьюринга.
Пример 2.7 Пусть имеются 4 машины (A, B, C и D), заданные своими
ФС (табл. 2.4 - 2.7). Суперпозиция N из заданных МТ описывается
формулой
(2.16)
N C D B .
A
87
Глава 2. МОДЕЛИ ВЫЧИСЛЕНИЙ
A
''
B C A A
q0 q1 p1 ; qD
0 q1 p 4 ; q0 p0
88
О.Н. Паулин. Основы теории алгоритмов
89
Глава 2. МОДЕЛИ ВЫЧИСЛЕНИЙ
1 1 …110100111100…
2 1 …110100111100…
3 1 …110100111100…
4 1 …110100111100…
5 2 …110100111100…
6 3 …110100111100…
7 3 …110100111100…
8 1 …110000111100…
9 2 …110000111100…
10 4 …110000111100…
11 4 …110000111100…
12 0 …111000111100…
90
О.Н. Паулин. Основы теории алгоритмов
91
Глава 2. МОДЕЛИ ВЫЧИСЛЕНИЙ
92
О.Н. Паулин. Основы теории алгоритмов
93
Глава 2. МОДЕЛИ ВЫЧИСЛЕНИЙ
94
О.Н. Паулин. Основы теории алгоритмов
95
Глава 2. МОДЕЛИ ВЫЧИСЛЕНИЙ
96