Although it's not about checking, but generating, which *may* be easier. (Though if one can generate all syntactically valid programs in program size order, then checking is just a matter of checking for membership in the list of all programs of size less than the program. This list can be huge however.)
At least it's very simple to generate all 'syntactically' valid Turing machines ;) On Thu, Sep 5, 2019 at 2:56 PM David Van Horn <dvanh...@cs.umd.edu> wrote: > But whether a program is syntactically valid is not an easy thing to > decide in a language like racket... > > On Thu, Sep 5, 2019, 9:45 AM Laurent <laurent.ors...@gmail.com> wrote: > >> Probably only those that output Chaitin's constant ;) >> >> But otherwise I would guess "syntactically valid", in which case it would >> be easier to consider only lambdas with only one argument. >> >> Though if you want to also use all of Racket's primitives (that is, >> including I/O), then good luck. My closest guess would be: >> (for/list ([i (in-naturals)]) >> (mflatt i)) >> >> On Thu, Sep 5, 2019 at 2:31 PM David Van Horn <dvanh...@cs.umd.edu> >> wrote: >> >>> What do you mean by valid? >>> >>> On Thu, Sep 5, 2019, 9:05 AM Adam Golding <adamgold...@gmail.com> wrote: >>> >>>> What is the shortest/smallest racket program (ithat enumerates all and >>>> only valid racket programs? >>>> >>>> -- >>>> You received this message because you are subscribed to the Google >>>> Groups "Racket Users" group. >>>> To unsubscribe from this group and stop receiving emails from it, send >>>> an email to racket-users+unsubscr...@googlegroups.com. >>>> To view this discussion on the web visit >>>> https://groups.google.com/d/msgid/racket-users/0b83b7d7-ea3e-434a-b6c4-f394a97fe4fd%40googlegroups.com >>>> <https://groups.google.com/d/msgid/racket-users/0b83b7d7-ea3e-434a-b6c4-f394a97fe4fd%40googlegroups.com?utm_medium=email&utm_source=footer> >>>> . >>>> >>> -- >>> You received this message because you are subscribed to the Google >>> Groups "Racket Users" group. >>> To unsubscribe from this group and stop receiving emails from it, send >>> an email to racket-users+unsubscr...@googlegroups.com. >>> To view this discussion on the web visit >>> https://groups.google.com/d/msgid/racket-users/CAFJHQkGS_%3DM9G%3DGaLXZgctO6UC_cR9VpqjXt5q211UOeOq2dFw%40mail.gmail.com >>> <https://groups.google.com/d/msgid/racket-users/CAFJHQkGS_%3DM9G%3DGaLXZgctO6UC_cR9VpqjXt5q211UOeOq2dFw%40mail.gmail.com?utm_medium=email&utm_source=footer> >>> . >>> >> -- You received this message because you are subscribed to the Google Groups "Racket Users" group. To unsubscribe from this group and stop receiving emails from it, send an email to racket-users+unsubscr...@googlegroups.com. To view this discussion on the web visit https://groups.google.com/d/msgid/racket-users/CABNTSaGqXagO98Ttx1-rjmqSrdNyHn4m_UUd5_xazF-xiW2O_Q%40mail.gmail.com.
