Добавил:

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

Вуз:

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

Предмет:

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

Файл:

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

Скачиваний:

Добавлен:

02.03.2016

Размер:

133.43 Кб

Скачать

☆

<<< < Предыдущая 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.43 Кб62РГР маn лог 12-13.docx
#
02.03.201619.36 Кб23РГР математическая логика титул.docx