a non-empty, but finite, set of symbols