search

bbchallenge / bbchallenge-proofs

Mathematical proofs of the bbchallenge project.
Creative Commons Attribution 4.0 International
16 stars 6 forks source link

Finite automata reduction #4

Closed UncombedCoconut closed 1 year ago

UncombedCoconut commented 1 year ago

Let's please merge the Finite Automate Reduction section to main, when we consider it ready.