[Apprentice123]

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 ?