7 votes 7 votes The minimum number of states in the deterministic finite automata required to check the divisibility by $18$ of a binary string (decimal value of string being divisible by 18) is ____ Theory of Computation go2025-toc-1 numerical-answers minimal-state-dfa + – gatecse asked Sep 29, 2020 gatecse 693 views answer comment Share Follow See all 0 reply Please log in or register to add a comment.
Best answer 13 votes 13 votes $18 = 2 \times 9 = 2^{1} \times 9.$ For any integer $m = 2^k \times d$ where $d$ is odd, the minimal number of states in the DFA to recognize divisibility by $m$ is $k + d.$ So, answer here is $1+9 =10.$ Reference https://gateoverflow.in/blog/8651/minimum-number-states-dfa-accepting-binary-number-divisible gatecse answered Sep 29, 2020 • selected Sep 26, 2021 by Arjun gatecse comment Share Follow See 1 comment See all 1 1 comment reply MANSI_SOMANI commented Oct 13, 2022 reply Follow Share new one to learn ! 5 votes 5 votes Please log in or register to add a comment.