- •Завдання для розрахунково-графічної роботи
- •11) Жодне с не є d. Всі а є d. Всі в є с. Отже, всі в не є а.
- •13) Деякі с не є d. Всі а є не d. Всі в є с. Отже, всі в є а.
- •15) Деякі с не є d. Всі а є d. Всі в є не с. Отже, всі в є а.
- •11)├ , Якщо х не вільна в в.
- •12)├ , Якщо х не вільна в в.
- •22)├ , Якщо х не вільна в в.
- •V. Довести примітивну рекурсивність функцій:
- •VI. Знайти результат застосування машини Тьюрінга з програмою р до
- •VII. Побудувати нормальний алгоритм Маркова для перетворення
VI. Знайти результат застосування машини Тьюрінга з програмою р до
слова , якщо у початковому стані спостерігається вказана
комірка. Зобразити кілька перших тактів роботи машини.
1) P={q1a0q4a0R; q2a0q3a0L; q3a0q1a0R; q4a0q0a0L; q11q2; q21q1; q31q11R; q41q11L; q1q1L; q2q2R; q3q31L; q4q4a0R; q1q1L; q2q2R; q3q3a0L; q4q41R}; A=1111111111, спостерігається 4 ліворуч комірка.
2) Р={q1a0q4a0R; q2a0q6a0R; q3a0q6a0R; q4a0q01; q5a0q4a0R; q6a0q0a0; q7a0q6a0R; q11q21L; q21q31L; q31q11L; q41q5a0; q51q5a0; q61q7a0; q71q7a0}; A=1111111111, спостерігається 1 ліворуч коміркa.
3) P={q1a0q4a0R; q2a0q3a0L; q3a0q1a0R; q4a0q0a0L; q11q2; q21q1; q31q11R; q41q11L; q1q2L; q2q3R; q3q31L; q4q4a0R; q1q1L; q2q2R; q3q3a0L; q4q41R}; A=111111, спостерігається 2 ліворуч коміркa.
4) P={q1a0q4a0R; q2a0q6a0R; q3a0q6a0R; q4a0q01; q5a0q3a0R; q6a0q0a0; q7a0q6a0R; q11q51L; q21q31L; q31q11L; q41q3a0; q51q5a0; q61q7a0; q71q7a0}; A=1a0111a01111, спостерігається 1 ліворуч коміркa.
5) P={q1a0q4a0R; q2a0q3a0L; q3a0q1a0R; q4a0q0a0L; q11q2; q21q2; q31q21R; q41q11L; q1q1L; q2q2R; q3q31L; q4q1a0R; q1q1L; q2q2R; q3q3a0L; q4q31R}; A=1111a0a011, спостерігається 3 ліворуч коміркa.
6) P={q1a0q4a0R; q2a0q6a0R; q3a0q6a0R; q4a0q01; q5a0q4a0R; q6a0q0a0; q7a0q6a0R; q11q21L; q21q31L; q31q21L; q41q5a0; q51q6a0; q61q7a0; q71q7a0}; A=11a0111111, спостерігається 2 ліворуч коміркa.
7) P={q1a0q4a0R; q2a0q3a0L; q3a0q1a0R; q4a0q0a0L; q11q2; q21q1; q31q11R; q41q21L; q1q1L; q2q2R; q3q21L; q4q4a0R; q1q1L; q2q0R; q3q1a0L; q4q41R}; A=111a0a011a011, спостерігається 3 ліворуч коміркa.
8) P={q11q21R; q12q11R; q22q21; q21q31R; q2a0q2a0L; q32q32R; q31q42; q3a0q0a0L; q42q42R; q41q41R; q4a0q5a0L; q52q52L; q51q51L; q5a0q0a0R}; A=12211, спостерігається 1 ліворуч коміркa.
9) P={q10q10L; q20q31R; q30q10L; q11q20L; q21q21L; q31q31R; q1*q00; q2*q2*L; q3*q3*R}; A=11*11, спостерігається 1 ліворуч коміркa.
10) P={q11q21R; q12q22R; q22q21; q21q31R; q2a0q2a0L; q32q32R; q31q42; q3a0q3a0L; q41q41R; q42q42R; q4a0q0a0L; q52q52L; q51q51L; q5a0q0a0R}; A=1211211, спостерігається 3 ліворуч коміркa.
11) P={q10q10L; q20q31R; q30q10L; q11q20L; q21q21L; q31q31R; q1*q00; q2*q2*L; q3*q3*R}; A=101*11, спостерігається 1 ліворуч коміркa.
12) P={q11q21R; q12q22R; q22q21; q21q21R; q2a0q2a0L; q32q32R; q31q42; q3a0q3a0L; q41q41R; q42q42R; q4a0q5a0L; q52q02L; q51q51L; q5a0q0a0R}; A=1112211, спостерігається 1 ліворуч коміркa.
13) P={q10q10L; q20q21R; q30q10L; q11q30L; q21q21L; q31q31R; q1*q00; q2*q2*L; q3*q0*R}; A=11*1101, спостерігається 1 ліворуч коміркa.
14) P={q11q21R; q12q21R; q22q21; q21q31R; q2a0q2a0R; q32q32R; q31q42; q3a0q5a0R; q41q42R; q42q41R; q4a0q5a0L; q52q52L; q51q51L; q5a0q0a0R}; A=122a011, спостерігається 2 ліворуч коміркa.
15) P={q10q10L; q20q21R; q30q10L; q11q20L; q21q21L; q31q31R; q1*q00; q2*q2*L; q3*q1*R}; A=11*101, спостерігається 1 ліворуч коміркa.
16) P={q11q21R; q12q21R; q22q21; q21q31R; q2a0q5a0L; q32q32R; q31q42; q3a0q0a0L; q42q42R; q41q42R; q4a0q5a0L; q52q52L; q51q51L; q5a0q0a0R}; A=1222a01, спостерігається 2 ліворуч коміркa.
17) P={q10q10L; q20q31R; q30q10L; q11q20L; q21q21L; q31q31R; q1*q20; q2*q2*L; q3*q0*R}; A=11***1011, спостерігається 3 ліворуч коміркa.
18) P={q11q21R; q12q21R; q22q21; q21q31R; q2a0q2a0R; q32q32R; q31q42; q3a0q3a0R; q42q42R; q41q42R; q4a0q5a0L; q52q52L; q51q51L; q5a0q0a0R}; A=222a01, спостерігається 1 ліворуч коміркa.
19) P={q10q10L; q20q31R; q30q10L; q11q20L; q21q21L; q31q31R; q1*q20; q2*q0*L; q3*q3*R}; A=1101***11, спостерігається 3 ліворуч коміркa.
20) P={q11q21R; q12q21R; q22q21; q21q31R; q2a0q0a0R; q32q32R; q31q42; q3a0q3a0R; q42q42R; q41q41R; q4a0q5a0L; q52q52L; q51q51L; q5a0q0a0R}; A=2220111, спостерігається 2 ліворуч коміркa.
21) P={q11q21R; q12q21R; q22q21; q21q31R; q2a0q2a0L; q32q32R; q31q42; q3a0q3a0L; q42q42R; q41q41R; q4a0q5a0L; q52q52L; q51q51L; q5a0q0a0R}; A=1222a01, спостерігається 3 ліворуч коміркa.
22) P={q10q10L; q20q21R; q30q10L; q11q20L; q21q21L; q31q21R; q1*q00; q2*q1*L; q3*q3*R}; A=11***1011, спостерігається 1 ліворуч коміркa.
23) P={q11q21R; q12q21R; q22q21; q21q31R; q2a0q2a0L; q32q32R; q31q42; q3a0q32L; q42q42R; q41q41R; q4a0q5a0L; q52q52L; q51q51L; q5a0q0a0R}; A=12211, спостерігається 2 ліворуч коміркa.
24) P={q10q20L; q20q31R; q30q20L; q11q20L; q21q21L; q31q21R; q1*q00; q2*q1*L; q3*q11R}; A=11*11, спостерігається 1 ліворуч коміркa.