-- |Determines whether a macro-state is accepting.
isMacrostateAccepting :: Ord sta => Fa sym sta -> Set sta -> Bool
isMacrostateAccepting fa states =
  not $ null $ states `Set.intersection` finalStates fa
isMacrostateAccepting :: Ord sta => Fa sym sta -> Set sta -> Bool
isMacrostateAccepting fa states =
  not $ null $ states `Set.intersection` finalStates fa
isMacrostateAccepting fa states =
  not $ null $ states `Set.intersection` finalStates fa