[Thread moved by mentor]
Hi there.
As the title says, I want to inductively define the language consisting of the strings {a, b, aa, bb, aaa, bbb} and so on. I have come up with the following:
Is this a correct method of inductively definining such a language, and am I defining the language...