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
(0|1)* Just define your language in binary, problem solved