0 - четное количество единиц на входе
1 - нечетное количество единиц на входе.
Для генерации выходного сигнала автомату надо «помнить», четное или нечетное количество единиц поступило до подачи последнего входного сигнала, следовательно можно выделить два состояния:
S=