User blog comment:Deedlit11/Okay, more Turing machines/@comment-5150073-20130331133845

For the second TM:

When 0 ones entered, it must return 2^0 = 1. So I believe rule 0 _ 1 l halt should be added.