Definitions for "alphabet Sigma"
a nonempty, finite set of symbols