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

[Jeffrey Shallit]

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.