Unary multiplication using a Turing machine