Finite Automata Reduction (FAR): Difference between revisions
Jump to navigation
Jump to search
(Stub) |
No edit summary |
||
| Line 1: | Line 1: | ||
See [https://github.com/bbchallenge/bbchallenge-proofs/blob/build-latex-pdf/deciders/correctness-deciders.pdf Section 6] of bbchallenge's deciders write-up. | |||
[[Category:Deciders]] | [[Category:Deciders]] | ||
[[Category:Stub]] | [[Category:Stub]] | ||
Revision as of 20:26, 11 November 2024
See Section 6 of bbchallenge's deciders write-up.