55 Программа вычисления i2(X, y, z).

I2(x, y, z)	0	1
q1	q20R	q10R
q2	q30R	q21R
q3	q40R	q30R
q4	q40L	q51L
q5	q00L	q51L

56 Логическая схема Ляпунова: типы операторов, условные обозначения, принцип работы.

Операторы: преобразования (A, B, C со скобками или без), проверки логичности условий вычисляемых значений некоторых предикатов (p↑, q↑), служебные (ω - оператор конца вычисления, * - оператор начала вычисления в момент t).

Принцип: 1. В любой момент времени t работает тот оператор, перед которым стоит *. 2. Если …*A…, где A – оператор преобразования, то схема преобразуется к виду …A*… 3. Если *p↑…, то если зн-е вычисляемого оператором p предиката Истина, то … p↑*, т. е. выполняется следующий оператор. Если Ложь, то схема преобразуется в … p↑, выполняется оператор на который указывает ↑. 4. Если …*ω…, то схема заканчивает работу.

57 Схема Ляпунова для произведения машин Тьюринга.

*A₀pA₁ω, A₀ – работа машины T₁, A₁ – работа машины T₂.

58 Схема Ляпунова для итерации по паре состояний.

59 Схема Ляпунова для разветвления машин Тьюринга.

p(a’, a’’)O(a’)A₁Ф(0→11)Lp₀O(a’)A₁Ф(0→1)L’ ω

60 Нормальный алгоритм Маркова: алфавит, подстановка, правила очередности применения подстановок. Пример алгоритма Маркова.

61 Тезисы Черча, Тьюринга, Маркова.

Черч – всякая вычислимая функция является ЧР.

Тьюринг – любой алгоритм в интуитивном смысле может быть представлен машиной Тьюринга.

Марков – всякий алгоритм в алфавите A эквивалентен некоторому нормальному алгоритму в этом же алфавите.

62 Общие черты алгоритмов.

63 Параметры конкретизации алгоритмов.