ist $ map snd $ M.keys $ nfaTransTable nfa

-- nfa がある時点で取りうる状態集合としてありうるものを全て返す。
reachableStateSets :: (State state, Alphabet alpha)
                     => 
alphabets :: (State state, Alphabet alpha)
             => NFA state alpha -> S.Set alpha
alphabets nfa =
  S.fromList $ map snd $ M.keys $ nfaTransTable nfa
alphabets nfa =
  S.fromList $ map snd $ M.keys $ nfaTransTable nfa