Автомат приписывает к любому числу одну двоичную цифру. Значит, для любого числа, которое может получиться в результате работы автомата, можно узнать исходное число: для этого нужно перевести результат в двоичную систему и отбросить последнюю цифру.
Наименьшее число, большее равно это число может получиться только из Но в двоичной записи этого числа нулей больше, чем единиц, значит, по
правилам работы автомата приписывается ноль и преобразуется в Тогда результат больше получится при обработке следующего числа: преобразуется в