Задание 2

Состояния конечного автомата. Определение множества состояний по внутренней структуре.

Пример: модель детектора направления вращений цилиндрического вала. Пример: двоичный сумматор.