User blog comment:LittlePeng9/ITTM galore/@comment-10429372-20140325195109/@comment-1605058-20140326141908

Apart from mistake Deedlit pointed out, yes, these machines work. I wonder what your 3-tape machines are, as the best bound I can think of is w^(3n+1)