I have language:
L1 = {W | W has the same number of a's and b's}

If Accepted(M) = L3
LOOP(M) = {w | numbers a's > numbers b's}

M can be a^{n+1} b^n ?