Указание:
Двоичная запись нечётных чисел заканчивается единицей, чётных – нулём; при добавлении нуля в конце двоичной записи число удваивается.
Решение:
У нечётного числа автомат удаляет последнюю единицу в двоичной записи, после чего добавляет . Фактически к записи просто добавляется , то есть число удваивается и становится чётным. Аналогично для чётных чисел к записи добавляется , то есть число удваивается и увеличивается на и становится нечётным. Чётное число получается удвоением нечётного числа .