[seqfan] Re: talk announcement: Proving properties of OEIS sequences with Walnut
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