summaryrefslogtreecommitdiff
diff options
context:
space:
mode:
authorcyfraeviolae <cyfraeviolae>2021-05-29 22:31:24 -0400
committercyfraeviolae <cyfraeviolae>2021-05-29 22:31:24 -0400
commitf33ee02f7a0b9836f6ea6321f4f8c015dfe1e850 (patch)
tree869415ff0c8933e2e117a6b14cbb081272233fd7
parentcef781f44be4c44d1deabfbf74a78bb63cfdc969 (diff)
less hopcroft
-rw-r--r--src/Lib.hs3
1 files changed, 1 insertions, 2 deletions
diff --git a/src/Lib.hs b/src/Lib.hs
index 7bd27d2..56ccbd3 100644
--- a/src/Lib.hs
+++ b/src/Lib.hs
@@ -35,8 +35,7 @@ automatize dir (QNMFormula (Neg : quas) m) =
let nfa = automatize dir (QNMFormula quas m)
in minReachability (length dir) (ncompl nfa)
where
- md dfa = minDistinguishability dfa (length dir)
- ncompl = nondeterminize . compl . md . determinize
+ ncompl = nondeterminize . compl . determinize
automatize dir (QNMFormula (Qua (Exists, v) : quas) m) =
let nfa = automatize dir (QNMFormula quas m)
in case M.lookup (Var v) dir of