Добавил:

Upload Опубликованный материал нарушает ваши авторские права? Сообщите нам.

Вуз:

Ухтинский государственный технический университет

Предмет:

[НЕСОРТИРОВАННОЕ]

Файл:

semestr_2_mat_logika_12-13_IVT / ргр мл / РГР маn лог 12-13.docx

Скачиваний:

Добавлен:

02.03.2016

Размер:

133 Кб

Скачать

☆

<<< < Предыдущая 1 23 / 33

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

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

№

P_вх

P_вых

№

P_вх

P_вых

№

P_вх

P_вых

№

P_вх

P_вых

№

P_вх

P_вых

000

001

0000

0001

111

0010

0011

110

010

011

0100

0101

101

1010

1011

010

100

101

1000

1001

010

1010

1011

010

110

111

1100

1101

001

1110

1111

0001

000

001

010

011

100

101

001

101

0111

011

001

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

Вариант

T1	q₁₀	q₁₁
0	q₁₁1L	q₁₀1E
1	q₁₂0L	q₁₂0R

T2	q₂₀	q₂₁	q₂₂
0	q₂₀1L	q₂₂0E	q₂₁1L
1	q₂₂0R	q₂₀1L	q₂₁0E

D=11110001101

T1	q₁₀	q₁₁
0	q₁₁1R	q₁₀1E
1	q₁₂0L	q₁₂0L

T2	q₂₀	q₂₁	q₂₂
0	q₂₀1R	q₂₂0L	q₂₁1L
1	q₂₂0R	q₂₀1E	q₂₁0E

D=11010001101

T1	q₁₀	q₁₁
0	q₁₁1R	q₁₀1E
1	q₁₂0L	q₁₂1R

T2	q₂₀	q₂₁	q₂₂
0	q₂₀0E	q₂₂0E	q₂₁1L
1	q₂₂0L	q₂₀1L	q₂₁0E

D=10110001101

T1	q₁₀	q₁₁
0	q₁₁1L	q₁₀0L
1	q₁₂0L	q₁₂1R

T2	q₂₀	q₂₁	q₂₂
0	q₂₀1L	q₂₂1E	q₂₁1L
1	q₂₂1R	q₂₀0R	q₂₁0E

D=11110000101

T1	q₁₀	q₁₁
0	q₁₁0L	q₁₀1E
1	q₁₂1L	q₁₂0R

T2	q₂₀	q₂₁	q₂₂
0	q₂₀1L	q₂₂0E	q₂₁1E
1	q₂₂0R	q₂₀1L	q₂₁1E

D=11110101101

T1	q₁₀	q₁₁
0	q₁₁1L	q₁₂0L
1	q₁₀1E	q₁₂0R

T2	q₂₀	q₂₁	q₂₂
0	q₂₀1L	q₂₂0E	q₂₁1L
1	q₂₂0R	q₂₁0E	q₂₀1R

D=10010001101

T1	q₁₀	q₁₁
0	q₁₁1L	q₁₀1E
1	q₁₂0R	q₁₂0L

T2	q₂₀	q₂₁	q₂₂
0	q₂₀1L	q₂₂0E	q₂₀0R
1	q₂₂0R	q₂₁1L	q₂₁0E

D=00110001101

T1	q₁₀	q₁₁
0	q₁₁1L	q₁₂0R
1	q₁₂0R	q₁₀1E

T2	q₂₀	q₂₁	q₂₂
0	q₂₀0E	q₂₂0E	q₂₁1L
1	q₂₁0E	q₂₀1L	q₂₂0R

D=11101001101

T1	q₁₀	q₁₁
0	q₁₂1R	q₁₀1E
1	q₁₂0L	q₁₁1L

T2	q₂₀	q₂₁	q₂₂
0	q₂₂0R	q₂₂0E	q₂₀1L
1	q₂₁0R	q₂₀1L	q₂₁0E

D=11111111101

T1	q₁₀	q₁₁
0	q₁₁1L	q₁₀0R
1	q₁₂1E	q₁₂0R

T2	q₂₀	q₂₁	q₂₂
0	q₂₀1L	q₂₁0E	q₂₁1L
1	q₂₂0R	q₂₀1L	q₂₂0E

D=11001101101

T1	q₁₀	q₁₁
0	q₁₁1L	q₁₂0R
1	q₁₂0L	q₁₀1E

T2	q₂₀	q₂₁	q₂₂
0	q₂₀1L	q₂₂0E	q₂₁1L
1	q₂₀1L	q₂₂0R	q₂₁0E

D=11110000111

T1	q₁₀	q₁₁
0	q₁₁1L	q₁₂1E
1	q₁₂0L	q₁₀0R

T2	q₂₀	q₂₁	q₂₂
0	q₂₀1L	q₂₂0E	q₂₁1L
1	q₂₂0R	q₂₁1L	q₂₀0E

D=11110111100

T1	q₁₀	q₁₁
0	q₁₁1L	q₁₀0L
1	q₁₂1E	q₁₂0R

T2	q₂₀	q₂₁	q₂₂
0	q₂₀1L	q₂₂0E	q₂₁1L
1	q₂₀0R	q₂₂1L	q₂₁0E

D=10110101101

T1	q₁₀	q₁₁
0	q₁₁1L	q₁₀1E
1	q₁₂0L	q₁₂0L

T2	q₂₀	q₂₁	q₂₂
0	q₂₀1L	q₂₂0E	q₂₁1L
1	q₂₂0R	q₂₀1R	q₂₁0E

D=01110101101

T1	q₁₀	q₁₁
0	q₁₁1L	q₁₀1E
1	q₁₂0L	q₁₂1R

T2	q₂₀	q₂₁	q₂₂
0	q₂₀1L	q₂₂0E	q₂₀1L
1	q₂₂0R	q₂₁1R	q₂₁0E

D=10011001101

T1	q₁₀	q₁₁
0	q₁₁1L	q₁₀1E
1	q₁₂0L	q₁₂1R

T2	q₂₀	q₂₁	q₂₂
0	q₂₀0L	q₂₂0E	q₂₁1L
1	q₂₂1R	q₂₀1L	q₂₁0E

D=11100001111

T1	q₁₀	q₁₁
0	q₁₁0L	q₁₀0E
1	q₁₂0L	q₁₂1R

T2	q₂₀	q₂₁	q₂₂
0	q₂₀1L	q₂₂0E	q₂₁1L
1	q₂₁0E	q₂₀1L	q₂₂1R

D=10011000110

T1	q₁₀	q₁₁
0	q₁₁1L	q₁₀1E
1	q₁₁0L	q₁₂0R

T2	q₂₀	q₂₁	q₂₂
0	q₂₀1L	q₂₂0E	q₂₁1L
1	q₂₂0R	q₂₀1L	q₂₂0E

D=11000110111

T1	q₁₀	q₁₁
0	q₁₁1L	q₁₀1E
1	q₁₁0L	q₁₂0R

T2	q₂₀	q₂₁	q₂₂
0	q₂₀1L	q₂₂0E	q₂₁1L
1	q₂₁0R	q₂₀1L	q₂₁0E

D=11000111101

T1	q₁₀	q₁₁
0	q₁₁1L	q₁₀1E
1	q₁₂0L	q₁₁0R

T2	q₂₀	q₂₁	q₂₂
0	q₂₀1L	q₂₁0E	q₂₁1L
1	q₂₂0R	q₂₀1L	q₂₂0E

D=10111001101

T1	q₁₀	q₁₁
0	q₁₁1L	q₁₀1E
1	q₁₂0L	q₁₁1R

T2	q₂₀	q₂₁	q₂₂
0	q₂₀0L	q₂₂0E	q₂₁1L
1	q₂₁0R	q₂₀1L	q₂₁0E

D=10001111101

T1	q₁₀	q₁₁
0	q₁₂0L	q₁₀1E
1	q₁₁1L	q₁₂0R

T2	q₂₀	q₂₁	q₂₂
0	q₂₀1L	q₂₀1L	q₂₁1L
1	q₂₂0R	q₂₂0E	q₂₁0E

D=11100111001

T1	q₁₀	q₁₁
0	q₁₁1L	q₁₂0R
1	q₁₂0L	q₁₀1R

T2	q₂₀	q₂₁	q₂₂
0	q₂₀1L	q₂₀1R	q₂₁1L
1	q₂₂0R	q₂₂0E	q₂₁0E

D=11001101101

T1	q₁₀	q₁₁
0	q₁₁1L	q₁₀1E
1	q₁₂1L	q₁₂0R

T2	q₂₀	q₂₁	q₂₂
0	q₂₀0L	q₂₂0E	q₂₁1L
1	q₂₂0R	q₂₀1L	q₂₁1E

D=11010001101

T1	q₁₀	q₁₁
0	q₁₁0L	q₁₀1E
1	q₁₂0L	q₁₂1R

T2	q₂₀	q₂₁	q₂₂
0	q₂₀0L	q₂₂1L	q₂₁1L
1	q₂₂0R	q₂₀1L	q₂₁0E

D=11110000101

T1	q₁₀	q₁₁
0	q₁₁1L	q₁₀1E
1	q₁₂0L	q₁₂1R

T2	q₂₀	q₂₁	q₂₂
0	q₂₀1L	q₂₂0E	q₂₁0L
1	q₂₂0R	q₂₀0L	q₂₁0E

D=11110001101

T1	q₁₀	q₁₁
0	q₁₁1R	q₁₀1E
1	q₁₂0E	q₁₂0R

T2	q₂₀	q₂₁	q₂₂
0	q₂₀1L	q₂₂0E	q₂₁1R
1	q₂₂0R	q₂₀1e	q₂₁0E

D=10110001001

T1	q₁₀	q₁₁
0	q₁₁1E	q₁₀1E
1	q₁₂0L	q₁₂1R

T2	q₂₀	q₂₁	q₂₂
0	q₂₀1L	q₂₂0E	q₂₁1L
1	q₂₂0R	q₂₀1R	q₂₁0R

D=11110010001

T1	q₁₀	q₁₁
0	q₁₁0L	q₁₀1E
1	q₁₂0L	q₁₂0L

T2	q₂₀	q₂₁	q₂₂
0	q₂₀1L	q₂₂0E	q₂₁1L
1	q₂₂0R	q₂₀0R	q₂₁0R

D=11101001101

T1	q₁₀	q₁₁
0	q₁₁1E	q₁₀1R
1	q₁₂0L	q₁₂0E

T2	q₂₀	q₂₁	q₂₂
0	q₂₀1L	q₂₂0R	q₂₁1L
1	q₂₂1R	q₂₀1E	q₂₁0E

D=11011111000

<<< < Предыдущая 1 23 / 33

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

#
02.03.2016133 Кб82РГР маn лог 12-13.docx
#
02.03.201619 Кб38РГР математическая логика титул.docx