On Sunday, 2 August 2015 at 16:37:06 UTC, MakersF wrote: > Of course it's recursive! Do you want the grammar to be able to > only define a finite number of programs? a* seems pretty infinite to me. :P