Машина Тьюринга

Задача по дискретной математике "Реализовать машину Тьюринга со стандартной заключительной конфигурацией для выполнения следующей задачи. На вход подается два слова длины n^2(эн в квадрате) в алфавите {0,1},которые представляют собой построчную запись булевых матриц. Требуется найти их произведение. Для каждого фрагмента программы необходимо дать подробное пояснение выполняемых действий.