import NFA
import Set
import FiniteMap

student :: NFA Int
student = NFA { states = mkSet [1, 2, 3, 4, 5], starts = mkSet [1],
        finals = mkSet [1, 2, 3, 4],
        trans  = listToFM  [((1, 'a'), mkSet [2]), ((1, 'b'), mkSet [1]),
                            ((2, 'a'), mkSet [2]), ((2, 'b'), mkSet [3]),
                            ((3, 'a'), mkSet [2]), ((3, 'b'), mkSet [4]),
                            ((4, 'a'), mkSet [5]), ((4, 'b'), mkSet [1]),
                            ((5, 'a'), mkSet [5]), ((5, 'b'), mkSet [5])]}