Turing Machines can be used to compute functions.
0011 is on the tape. Turing Machine computes for some time and finishes in accept state. On the tape, we see:
_ is a blank symbol. Is it correct? Meaning
0011 == _00_10_.
For exaple in Python:
 +  +  +  +  == [1,2] is True.
When Turing Machine is used for recognizing language everything is clear. It is not important what is on the tape. Only final state: accept or reject.