isLimitDeterministic :: (Ord q, Ord a) => NBA q a l  -- ^ The NBA to be checked
                                       -> Bool -- ^ Indicates whether automaton is limit-det.
isLimitDeterministic a = S.isSubsetOf (accept a) (deterministicPart a)
isLimitDeterministic :: (Ord q, Ord a) => NBA q a l  -- ^ The NBA to be checked
                                       -> Bool
isLimitDeterministic a = S.isSubsetOf (accept a) (deterministicPart a)
isLimitDeterministic a = S.isSubsetOf (accept a) (deterministicPart a)