Figure 1: The output function determines the output alphabet of the machine for a state.