This means that the language consists of strings of the form $a^iba^j$, where $i$ and $j$ are integers such that $0 < i < j$. In other words, the number of consecutive 'a's before the 'b' must be strictly less than the number of consecutive 'a's after the 'b',
Show more…