[seqfan] Re: talk announcement: Proving properties of OEIS sequences with Walnut

Jeffrey Shallit shallit at uwaterloo.ca
Mon Oct 24 14:19:01 CEST 2022

On 2022-10-21 11:21 AM, hv at crypt.org wrote:
> While I know a little about DFAs from my programming work (including
> a lot of work on the regexp engine in Perl), I know little about them
> mathematically. Is it plausible that Walnut could generate a kind of
> certificate by outputting one or more DFAs along with some
> canonicalized description of the transformations it is performing
> on them?
Unfortunately that would be (for all practical purposes) just redoing 
exactly the same
calculation that Walnut is already doing.   And for some of them the 
"certificate" would be really huge.

So I don't see any point in doing that.

More information about the SeqFan mailing list