I was thinking, which is probably a bad thing.
That if you run 'a' you could probably exit the loop by doing a 'b', but aa* would loop for as long as there is input. I suppose then I should have had aa
+
Second possible loop would be running an 'a', then a 'ba'. Since the input is the tape, it would not read anything further, as the head would just bounce back, and forth at those two input, but you right . It could still run an 'a' then loop a couple of times on 'aa', then go into the death trap of 'ba'. After that would it matter if we hand any further input (a+b)*?