test :not operator using Dfa complementation
Need to implement function to complement a Dfa by swapping the accepting states with non-accepting states.
Then assert that given an rte, then (:not rte)
is equivalent to the inverted Dfa.
Need to implement function to complement a Dfa by swapping the accepting states with non-accepting states.
Then assert that given an rte, then (:not rte)
is equivalent to the inverted Dfa.