fun accLen n =
      Set.filter
      (FA.accepted fa)
      (StrSet.power(StrSet.fromString "0,1", n));