LVRUG kata to build deterministic finite automaton accepting a binary string if the number it represents is divsible by 3