isEmpty :: (Ord sym, Ord sta) => Set sym -> Fa sym sta -> Bool
isEmpty symbols =
  not . hasTerminatingPath symbols
isEmpty :: (Ord sym, Ord sta) => Set sym -> Fa sym sta -> Bool
isEmpty symbols =
  not . hasTerminatingPath symbols
isEmpty symbols =
  not . hasTerminatingPath symbols