Машина Тьюринга в четверках: побитовое перемножение двух двоичных чисел

Машина Тьюринга в четверках

Помогите! Очень срочно надо

Программа арбитров перемножает два двоичных числа. Почему она не работает просто на 0 и 1? (на более сложные числа работает)

00, ,!,01
01,0,<,01
01,1,<,01
01,!,<,01
01,$,<,01
01,*,<,01
01, ,>,02

02,1,$,03
02,0,,04
02,
,>,02
02,$,>,02
02,!,!,05

03,0,>,03
03,1,>,03
03,*,>,03
03,$,>,03
03,!,>,03
03, ,1,01

04,0,>,04
04,*,>,04
04,1,>,04
04,$,>,04
04,!,>,04
04, ,0,01

05,!,<,05
05,$,1,05
05,1,<,05
05,*,0,05
05,0,<,05

05, ,|,06
06,|,<,06
06,0,$,07
06,1,*,08
06, ,>,15

07,$,>,09
09,,>,09
09,$,>,09
09,0,>,09
09,1,>,09
09,!,>,24
09,|,>09
24,0,>,24
24,1,>,24
24,$,$,11
24,
,<,10
24, ,<,10

10,1,,11
10,0,
,11
10,!,!,11

11,0,<,11
11,1,<,11
11,!,<,11
11,|,<,11
11,$,<,11
11,*,<,11
11, ,>,12

12,0,>,12
12,1,>,12
12,&,<,06
12,*,<,06
12, ,>,15

08,$,>,13
08,1,>,13
08,,>,13
13,0,>,13
13,
,>,13
13,$,>,13
13,1,>,13
13,|,>,13
13,!,>,17

17,0,>,17
17,1,>,17
17, ,<,14
17,&,<,14
17,,<,14
14,!,!,11
14,$,<,14
14,
,<,14
14,0,*,11
14,1,$,11

15,1,>,15
15,0,>,15
15,|, ,15
15,$,0,15
15,*,1,15
15, ,>,15

15,!, ,16
16,1,0,16
16,0,>,16
16, ,>,16
16,$,$,18
16,,,18

18,1,>,18
18,0,>,18
18,$,1,18
18,*,0,18
18, ,<,19

19,0,<,19
19,1,<,19
19, ,>,20
20,0, ,21
21,1,1,22
21, ,>,21
21,0,>,23
23,1,<,19
23,0,<,20

23, , ,23

20,1,>,22
22,1,>,22
22,0,>,22

22, , ,22