Comment by empiricus

Minor: if n is finite, then a^nb^n becomes regular?