Write a characteristic function for L(M), where M is the TM defined in the attachment using the macro language. Do ? not give details of the TM's operation, such as traversing the tape counting symbols.
A characteristic function looks like L = { w : w is something}
This is not the correct answer, but one example of a characteristic function is L = { w : there are more b's than a's }