машина Тьюринга для умножения булевых матриц

[Люля.]

помогите кто-нибудь записать умножение булевых матриц на состояний м.Т.
С=А*В
матрицы квадратные. содержат элементы 0/1

вход
а11а12...а1m*a21a22...a2m*...*am1.. .amm#b11b12...b1m*b21b22...b2m*...* bm1...bmm

выход
c11c221...cm1*c12c22...cm2*...*c1m. ..cmm*
булево умножение
0*0=0
0*1=0
1*0=0
1*1=0
логика понятна. берем первое значени матрицы а и первое значение матрицы в, из них делаем вывод что будет в с. но как это записать на состояниях?

[Snejnaya]

0*0=0
0*1=0
1*0=0
1*1=0 ????

все нули? может 1*1=1 как в случае логического И?

берем первое значени матрицы а и первое значение матрицы в, из них делаем вывод что будет в с.

вообще-то матрицы перемножаются по принципу строка*столбец. Т.е.
c11=a11*b11+a12*b21+a13*b31+..+a1m* bm1
c12=a11*b21+a12*b22+...+a1m*bm2
и т.д для всех элементов с

ЗЫ: задание объемное и геморройное, как и все на машине тьюринга. чертова прорва состояний, "опознавательные знаки" и бесконечное беганье туда-сюда по ленте. У нас в вузе считается большим везением, если такую задачу кто-то за тебя возьмется решать тысячи за полторы

[Люля.]

Сообщение от Snejnaya

все нули? может 1*1=1 как в случае логического И?

пардон, 1*1=1

Сообщение от Snejnaya

ЗЫ: задание объемное и геморройное, как и все на машине тьюринга. чертова прорва состояний, "опознавательные знаки" и бесконечное беганье туда-сюда по ленте. У нас в вузе считается большим везением, если такую задачу кто-то за тебя возьмется решать тысячи за полторы

у нас вообще никто за нее не берется....