accepts (A qs iqs inA trans) s =
  let symTrans acc qs a = case qs of
        [] -> nub acc
        (q:qs') -> symTrans (acc ++ (trans q a)) qs' a
  in
    let checkWord s reached = case s of
          [] -> any inA reached
          (a:as) -> checkWord as (symTrans [] reached a)
    in checkWord s iqs