A doubt regarding the acceptance of $\epsilon$ by an automaton testing divisibility of numbers
It is rather standard to assume that 0 represents zero (and is divisible by two). Also it is usually assumed that decimal numbers do not start with 0.

I once presented a finite state automaton without these assumptions, where I took  $\varepsilon$ as a representation for zero, and likewise 0000, and my students protested.