Recent content by Astr00

[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...