The language $a^{+}b^{+}$ consists of all strings that have one or more 'a's followed by one or more 'b's. Examples of strings in this language include "ab", "aab", "abb", "aaabb", etc.
Step 2: Define the Myhill-Nerode relation $\equiv_L$.
Two strings $x$ and $y$
Show more…