Добавил:
Upload Опубликованный материал нарушает ваши авторские права? Сообщите нам.
Вуз: Предмет: Файл:
TA_last_u3.doc
Скачиваний:
0
Добавлен:
30.12.2019
Размер:
2.69 Mб
Скачать

Розв’язання

Стани машини Тьюрінга описані в таблиці. Кожний стан задається двома блоками символів, розділених пробілом: перший блок символів описує дію у випадку зустрічання 0 у поточній клітинці, другий блок – у випадку зустрічання 1. Якщо блок починається з цифри 0 або 1, то ця цифра записується у поточну клітинку у відповідному блокові випадку. Якщо цифра на початку відсутня – то машина залишає поточний символ незмінним. Після цифри, або на початку блоку – у випадку відсутності початкової цифри, стоїть буква L, C, або R, яка показує, куди змістити головку машини після аналізу і можливого переписування поточного символа. L – вліво на один символ, С – не зміщувати, R – вправо на один символ. Далі іде номер стану, в який має перейти машина.

Початковий стан машини – 1.

Початкова позиція головки – на першому символі.

Машина припиняє роботу, коли переходить до стану 0, або коли зміщує свою головку лівіше від першого символа стрічки. Останній варіант важається помилкою в роботі машини, тому бажано, і наведений розв’язок це передбачує, щоб головка не зміщувалася лівіше першого символа – інакше вона деформується і машина зіпсується :).

I

 коментар

1

R1

R2

 

2

R3

R2

 

3

R3

R4

 

4

R5

R4

 

5

R5

R6

 

6

R7

R6

 

7

1L8

R15

(start xy)

8

L8

L9

 

9

L10

L9

 

10

L10

L11

 

11

L12

L11

 

12

L12

L13

 

13

R17

R14

 

14

0R3

0R3

(dec x)

15

1L16

R15

(inc xy)

16

L8

L16

 

17

R18

R18

 

18

1R18

L19

(recover x)

19

0R20

0R20

(end of xy:=x)

20

L21

R20

 

21

L22

L22

 

22

R47

R23

 

23

0R24

0R24

(dec y)

24

R24

R25

 

25

R26

R25

 

26

R26

R27

 

27

L28

R27

 

28

L29

L29

 

29

R35

R30

 

30

0L31

0L31

(dec xy)

31

L32

L31

 

32

L32

L33

 

33

L34

L33

 

34

L34

L22

 

35

R36

R36

 

36

1L37

1L37

(inc xy)

37

L38

L37

 

38

L38

L39

 

39

L40

L39

 

40

L40

L41

 

41

R47

R42

 

42

0R43

0R43

(dec y)

43

R43

R44

 

44

R45

R44

 

45

R45

R46

 

46

1L37

R46

 

47

R48

R48

 

48

1R48

L49

(recover y)

49

0R50

0R50

(end of xy:=|x-y|)

50

R51

R50

 

51

R51

R52

 

52

R53

R52

 

53

1R54

1R54

(start p)

54

1L55

1L55

 

55

L56

L56

 

56

L57

L57

 

57

L58

L58

 

58

R101

R59

 

59

0R60

0R60

(dec xy)

60

R60

R61

 

61

R62

R61

 

62

1L64

1L64

(start q)

63

C0

C0

(deleted stance)

64

L64

L65

 

65

L66

L65

 

66

L66

L67

 

67

L68

L67

 

68

L68

L69

 

69

R85

R70

 

70

0R71

0R71

(dec z)

71

R71

R72

 

72

R73

R72

 

73

R73

R74

 

74

L75

R74

 

75

L76

L76

 

76

R82

R77

 

77

0R78

0R78

(dec p)

78

R78

R79

 

79

1L80

R79

(inc q)

80

L81

L80

 

81

L81

L76

 

82

R83

R83

 

83

1R83

L84

(recover p)

84

0L65

0L65

(end of q:=q+p)

85

R86

R86

 

86

1R86

L87

(recover z)

87

0R88

0R88

 

88

R89

R88

 

89

R89

R90

 

90

R91

0R90

(erase p)

91

R92

R92

 

92

L97

L93

 

93

0L94

0L94

(dec q)

94

L94

R95

 

95

1R96

1R96

(inc p)

96

R96

R92

 

97

0L98

0L98

(end of p:=p*z)

98

L98

L99

 

99

L100

L99

 

100

L100

L58

 

101

R102

R102

 

102

R102

R103

 

103

L108

L104

 

104

0L105

0L105

(dec p)

105

L105

R106

 

106

1R107

1R107

(inc xy)

107

R107

R103

 

108

0C0

0C0

 

Соседние файлы в предмете [НЕСОРТИРОВАННОЕ]