Необходимо посмотрить детерминированный конечный автомат, который проверяет делимость числа (последовательность нулей и единиц должна начинаться с 1) по модулю 5.