Может кто-нибудь показать мне, как построить конечный автомат, который показывает модуль 4 в двоичном виде?
Ну, двоичное число mod 4 будет 0, если последние два бита равны 00, так что это то, с чего вы хотите начать. Подумайте, что добавление еще 1 или 0 к последним двум цифрам, и сделайте это для каждого возможного состояния.
Я оставлю вас с этой (большой) подсказкой: подумайте, сколько возможных результатов вы можете получить в модуле-4. Узнав об этом, вы узнаете, сколько состояний может иметь ваша машина.