Given the alphabet {def ghi}, give a recursive definition for the language whose words contain the string defdef.
My solution is:
i) def ∈ L and ghi ∈ L
ii) if u = def and w ∈ L*, then so is uu, wuu, uuw, wwuu, uuww, wuuw
My question is that I feel like I need to keep adding parts to L* or do I stop at wuuw ?