From f33ee02f7a0b9836f6ea6321f4f8c015dfe1e850 Mon Sep 17 00:00:00 2001 From: cyfraeviolae Date: Sat, 29 May 2021 22:31:24 -0400 Subject: less hopcroft --- src/Lib.hs | 3 +-- 1 file changed, 1 insertion(+), 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 -- cgit v1.2.3