Добавил:
Upload Опубликованный материал нарушает ваши авторские права? Сообщите нам.
Вуз: Предмет: Файл:
semestr_2_mat_logika_12-13_IVT / ргр мл / РГР маn лог 12-13.docx
Скачиваний:
48
Добавлен:
02.03.2016
Размер:
133.43 Кб
Скачать

«Теория алгоритмов»

  1. Составить программу машины Тьюринга, которая заданное слово Pвх преобразует в слово Pвых.

Pвх

Pвых

Pвх

Pвых

Pвх

Pвых

Pвх

Pвых

Pвх

Pвых

1

2

3

4

5

6

000

000

000

001

001

001

0000

0001

111

0010

0011

110

7

8

9

10

11

12

010

010

010

011

011

011

0100

0101

101

1010

1011

010

13

14

15

16

17

18

100

100

100

101

101

101

1000

1001

010

1010

1011

010

19

20

21

22

23

24

110

110

110

111

111

111

1100

1101

001

1110

1111

0001

25

26

27

28

29

30

000

001

010

011

100

101

001

101

0111

0111

011

001

  1. Построить композицию машин Тьюринга Т1 и Т2 по паре состояний (q10,q21), и найти результат применения ее к слову D

Вариант

T1

q10

q11

0

q111L

q101E

1

q120L

q120R


T2

q20

q21

q22

0

q201L

q220E

q211L

1

q220R

q201L

q210E


D=11110001101

T1

q10

q11

0

q111R

q101E

1

q120L

q120L


T2

q20

q21

q22

0

q201R

q220L

q211L

1

q220R

q201E

q210E


D=11010001101

T1

q10

q11

0

q111R

q101E

1

q120L

q121R


T2

q20

q21

q22

0

q200E

q220E

q211L

1

q220L

q201L

q210E


D=10110001101

T1

q10

q11

0

q111L

q100L

1

q120L

q121R


T2

q20

q21

q22

0

q201L

q221E

q211L

1

q221R

q200R

q210E


D=11110000101

T1

q10

q11

0

q110L

q101E

1

q121L

q120R


T2

q20

q21

q22

0

q201L

q220E

q211E

1

q220R

q201L

q211E


D=11110101101

T1

q10

q11

0

q111L

q120L

1

q101E

q120R


T2

q20

q21

q22

0

q201L

q220E

q211L

1

q220R

q210E

q201R


D=10010001101

T1

q10

q11

0

q111L

q101E

1

q120R

q120L


T2

q20

q21

q22

0

q201L

q220E

q200R

1

q220R

q211L

q210E


D=00110001101

T1

q10

q11

0

q111L

q120R

1

q120R

q101E


T2

q20

q21

q22

0

q200E

q220E

q211L

1

q210E

q201L

q220R


D=11101001101

T1

q10

q11

0

q121R

q101E

1

q120L

q111L


T2

q20

q21

q22

0

q220R

q220E

q201L

1

q210R

q201L

q210E


D=11111111101

T1

q10

q11

0

q111L

q100R

1

q121E

q120R


T2

q20

q21

q22

0

q201L

q210E

q211L

1

q220R

q201L

q220E


D=11001101101

T1

q10

q11

0

q111L

q120R

1

q120L

q101E


T2

q20

q21

q22

0

q201L

q220E

q211L

1

q201L

q220R

q210E


D=11110000111

T1

q10

q11

0

q111L

q121E

1

q120L

q100R


T2

q20

q21

q22

0

q201L

q220E

q211L

1

q220R

q211L

q200E


D=11110111100

T1

q10

q11

0

q111L

q100L

1

q121E

q120R


T2

q20

q21

q22

0

q201L

q220E

q211L

1

q200R

q221L

q210E


D=10110101101

T1

q10

q11

0

q111L

q101E

1

q120L

q120L


T2

q20

q21

q22

0

q201L

q220E

q211L

1

q220R

q201R

q210E


D=01110101101

T1

q10

q11

0

q111L

q101E

1

q120L

q121R


T2

q20

q21

q22

0

q201L

q220E

q201L

1

q220R

q211R

q210E


D=10011001101

T1

q10

q11

0

q111L

q101E

1

q120L

q121R


T2

q20

q21

q22

0

q200L

q220E

q211L

1

q221R

q201L

q210E


D=11100001111

T1

q10

q11

0

q110L

q100E

1

q120L

q121R


T2

q20

q21

q22

0

q201L

q220E

q211L

1

q210E

q201L

q221R


D=10011000110

T1

q10

q11

0

q111L

q101E

1

q110L

q120R


T2

q20

q21

q22

0

q201L

q220E

q211L

1

q220R

q201L

q220E


D=11000110111

T1

q10

q11

0

q111L

q101E

1

q110L

q120R


T2

q20

q21

q22

0

q201L

q220E

q211L

1

q210R

q201L

q210E


D=11000111101

T1

q10

q11

0

q111L

q101E

1

q120L

q110R


T2

q20

q21

q22

0

q201L

q210E

q211L

1

q220R

q201L

q220E


D=10111001101

T1

q10

q11

0

q111L

q101E

1

q120L

q111R


T2

q20

q21

q22

0

q200L

q220E

q211L

1

q210R

q201L

q210E


D=10001111101

T1

q10

q11

0

q120L

q101E

1

q111L

q120R


T2

q20

q21

q22

0

q201L

q201L

q211L

1

q220R

q220E

q210E


D=11100111001

T1

q10

q11

0

q111L

q120R

1

q120L

q101R


T2

q20

q21

q22

0

q201L

q201R

q211L

1

q220R

q220E

q210E


D=11001101101

T1

q10

q11

0

q111L

q101E

1

q121L

q120R


T2

q20

q21

q22

0

q200L

q220E

q211L

1

q220R

q201L

q211E


D=11010001101

T1

q10

q11

0

q110L

q101E

1

q120L

q121R


T2

q20

q21

q22

0

q200L

q221L

q211L

1

q220R

q201L

q210E


D=11110000101

T1

q10

q11

0

q111L

q101E

1

q120L

q121R


T2

q20

q21

q22

0

q201L

q220E

q210L

1

q220R

q200L

q210E


D=11110001101

T1

q10

q11

0

q111R

q101E

1

q120E

q120R


T2

q20

q21

q22

0

q201L

q220E

q211R

1

q220R

q201e

q210E


D=10110001001

T1

q10

q11

0

q111E

q101E

1

q120L

q121R


T2

q20

q21

q22

0

q201L

q220E

q211L

1

q220R

q201R

q210R


D=11110010001

T1

q10

q11

0

q110L

q101E

1

q120L

q120L


T2

q20

q21

q22

0

q201L

q220E

q211L

1

q220R

q200R

q210R


D=11101001101

T1

q10

q11

0

q111E

q101R

1

q120L

q120E


T2

q20

q21

q22

0

q201L

q220R

q211L

1

q221R

q201E

q210E


D=11011111000

Тут вы можете оставить комментарий к выбранному абзацу или сообщить об ошибке.

Оставленные комментарии видны всем.

Соседние файлы в папке ргр мл