Добавил:
Upload Опубликованный материал нарушает ваши авторские права? Сообщите нам.
Вуз: Предмет: Файл:
мат.лог..doc
Скачиваний:
2
Добавлен:
30.08.2019
Размер:
338.94 Кб
Скачать

VI. Знайти результат застосування машини Тьюрінга з програмою р до

слова , якщо у початковому стані спостерігається вказана

комірка. Зобразити кілька перших тактів роботи машини.

1) P={q1a0q4a0R; q2a0q3a0L; q3a0q1a0R; q4a0q0a0L; q11q2; q21q1; q31q11R; q41q11L; q1q1L; q2q2R; q3q31L; q4q4a0R; q1q1L; q2q2R; q3q3a0L; q4q41R}; A=1111111111, спостерігається 4 ліворуч комірка.

2) Р={q1a0q4a0R; q2a0q6a0R; q3a0q6a0R; q4a0q01; q5a0q4a0R; q6a0q0a0; q7a0q6a0R; q11q21L; q21q31L; q31q11L; q41q5a0; q51q5a0; q61q7a0; q71q7a0}; A=1111111111, спостерігається 1 ліворуч коміркa.

3) P={q1a0q4a0R; q2a0q3a0L; q3a0q1a0R; q4a0q0a0L; q11q2; q21q1; q31q11R; q41q11L; q1q2L; q2q3R; q3q31L; q4q4a0R; q1q1L; q2q2R; q3q3a0L; q4q41R}; A=111111, спостерігається 2 ліворуч коміркa.

4) P={q1a0q4a0R; q2a0q6a0R; q3a0q6a0R; q4a0q01; q5a0q3a0R; q6a0q0a0; q7a0q6a0R; q11q51L; q21q31L; q31q11L; q41q3a0; q51q5a0; q61q7a0; q71q7a0}; A=1a0111a01111, спостерігається 1 ліворуч коміркa.

5) P={q1a0q4a0R; q2a0q3a0L; q3a0q1a0R; q4a0q0a0L; q11q2; q21q2; q31q21R; q41q11L; q1q1L; q2q2R; q3q31L; q4q1a0R; q1q1L; q2q2R; q3q3a0L; q4q31R}; A=1111a0a011, спостерігається 3 ліворуч коміркa.

6) P={q1a0q4a0R; q2a0q6a0R; q3a0q6a0R; q4a0q01; q5a0q4a0R; q6a0q0a0; q7a0q6a0R; q11q21L; q21q31L; q31q21L; q41q5a0; q51q6a0; q61q7a0; q71q7a0}; A=11a0111111, спостерігається 2 ліворуч коміркa.

7) P={q1a0q4a0R; q2a0q3a0L; q3a0q1a0R; q4a0q0a0L; q11q2; q21q1; q31q11R; q41q21L; q1q1L; q2q2R; q3q21L; q4q4a0R; q1q1L; q2q0R; q3q1a0L; q4q41R}; A=111a0a011a011, спостерігається 3 ліворуч коміркa.

8) P={q11q21R; q12q11R; q22q21; q21q31R; q2a0q2a0L; q32q32R; q31q42; q3a0q0a0L; q42q42R; q41q41R; q4a0q5a0L; q52q52L; q51q51L; q5a0q0a0R}; A=12211, спостерігається 1 ліворуч коміркa.

9) P={q10q10L; q20q31R; q30q10L; q11q20L; q21q21L; q31q31R; q1*q00; q2*q2*L; q3*q3*R}; A=11*11, спостерігається 1 ліворуч коміркa.

10) P={q11q21R; q12q22R; q22q21; q21q31R; q2a0q2a0L; q32q32R; q31q42; q3a0q3a0L; q41q41R; q42q42R; q4a0q0a0L; q52q52L; q51q51L; q5a0q0a0R}; A=1211211, спостерігається 3 ліворуч коміркa.

11) P={q10q10L; q20q31R; q30q10L; q11q20L; q21q21L; q31q31R; q1*q00; q2*q2*L; q3*q3*R}; A=101*11, спостерігається 1 ліворуч коміркa.

12) P={q11q21R; q12q22R; q22q21; q21q21R; q2a0q2a0L; q32q32R; q31q42; q3a0q3a0L; q41q41R; q42q42R; q4a0q5a0L; q52q02L; q51q51L; q5a0q0a0R}; A=1112211, спостерігається 1 ліворуч коміркa.

13) P={q10q10L; q20q21R; q30q10L; q11q30L; q21q21L; q31q31R; q1*q00; q2*q2*L; q3*q0*R}; A=11*1101, спостерігається 1 ліворуч коміркa.

14) P={q11q21R; q12q21R; q22q21; q21q31R; q2a0q2a0R; q32q32R; q31q42; q3a0q5a0R; q41q42R; q42q41R; q4a0q5a0L; q52q52L; q51q51L; q5a0q0a0R}; A=122a011, спостерігається 2 ліворуч коміркa.

15) P={q10q10L; q20q21R; q30q10L; q11q20L; q21q21L; q31q31R; q1*q00; q2*q2*L; q3*q1*R}; A=11*101, спостерігається 1 ліворуч коміркa.

16) P={q11q21R; q12q21R; q22q21; q21q31R; q2a0q5a0L; q32q32R; q31q42; q3a0q0a0L; q42q42R; q41q42R; q4a0q5a0L; q52q52L; q51q51L; q5a0q0a0R}; A=1222a01, спостерігається 2 ліворуч коміркa.

17) P={q10q10L; q20q31R; q30q10L; q11q20L; q21q21L; q31q31R; q1*q20; q2*q2*L; q3*q0*R}; A=11***1011, спостерігається 3 ліворуч коміркa.

18) P={q11q21R; q12q21R; q22q21; q21q31R; q2a0q2a0R; q32q32R; q31q42; q3a0q3a0R; q42q42R; q41q42R; q4a0q5a0L; q52q52L; q51q51L; q5a0q0a0R}; A=222a01, спостерігається 1 ліворуч коміркa.

19) P={q10q10L; q20q31R; q30q10L; q11q20L; q21q21L; q31q31R; q1*q20; q2*q0*L; q3*q3*R}; A=1101***11, спостерігається 3 ліворуч коміркa.

20) P={q11q21R; q12q21R; q22q21; q21q31R; q2a0q0a0R; q32q32R; q31q42; q3a0q3a0R; q42q42R; q41q41R; q4a0q5a0L; q52q52L; q51q51L; q5a0q0a0R}; A=2220111, спостерігається 2 ліворуч коміркa.

21) P={q11q21R; q12q21R; q22q21; q21q31R; q2a0q2a0L; q32q32R; q31q42; q3a0q3a0L; q42q42R; q41q41R; q4a0q5a0L; q52q52L; q51q51L; q5a0q0a0R}; A=1222a01, спостерігається 3 ліворуч коміркa.

22) P={q10q10L; q20q21R; q30q10L; q11q20L; q21q21L; q31q21R; q1*q00; q2*q1*L; q3*q3*R}; A=11***1011, спостерігається 1 ліворуч коміркa.

23) P={q11q21R; q12q21R; q22q21; q21q31R; q2a0q2a0L; q32q32R; q31q42; q3a0q32L; q42q42R; q41q41R; q4a0q5a0L; q52q52L; q51q51L; q5a0q0a0R}; A=12211, спостерігається 2 ліворуч коміркa.

24) P={q10q20L; q20q31R; q30q20L; q11q20L; q21q21L; q31q21R; q1*q00; q2*q1*L; q3*q11R}; A=11*11, спостерігається 1 ліворуч коміркa.