From b66ac09af03b69d409df27ef32c90fa38924af2f Mon Sep 17 00:00:00 2001 From: cyfraeviolae Date: Tue, 18 May 2021 19:35:59 -0400 Subject: fix additive identity example --- src/Lib.hs | 4 +++- 1 file changed, 3 insertions(+), 1 deletion(-) (limited to 'src') diff --git a/src/Lib.hs b/src/Lib.hs index 13dc4ac..e8bc698 100644 --- a/src/Lib.hs +++ b/src/Lib.hs @@ -209,6 +209,8 @@ chars n = in map (1 :) r ++ map (0 :) r minimize :: (Ord a) => Integer -> NFA [Int] a -> NFA [Int] a -minimize n nfa@(NFA _ starts accepts f) = NFA states' starts accepts f +minimize n nfa@(NFA _ starts accepts f) = NFA states' starts' accepts' f where states' = closure nfa (chars n) starts + starts' = starts `L.intersect` states' + accepts' = accepts `L.intersect` states' -- cgit v1.2.3