module HW15 where
import DFAsimple (DFA, evalDFA)

automaton :: DFA
automaton = undefined -- replace "undefined" with your automaton 

acceptedStrings :: [String]
acceptedStrings = undefined -- Provide 3 input strings that are accepted

rejectedStrings :: [String]
rejectedStrings = undefined -- Provide 3 input strings that are not accepted 


-- Test function
test =
  all (evalDFA automaton) acceptedStrings
  &&
  not (any (evalDFA automaton) rejectedStrings)