Finite Automata Reduction: Difference between revisions
Jump to navigation
Jump to search
m (Int-y1 moved page Finite Automata Reduction (FAR) to Finite Automata Reduction: remove acronym) |
(Added a short introduction) |
||
| Line 1: | Line 1: | ||
{{Stub}} | {{Stub}} | ||
See [https://github.com/bbchallenge/bbchallenge-proofs/blob/build-latex-pdf/deciders/correctness-deciders.pdf Section 6] of bbchallenge's deciders write-up. | Finite Automata Reduction (short FAR) is a [[decider]]. | ||
==See also== | |||
[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]] | ||