Home » Theory of Computation » Theory of computation miscellaneous » Question

Theory of computation miscellaneous

Theory of Computation

  1. A minimum state deterministic finite automata accepting the language L = {W | W ∈ {0, 1}*, number of 0's and 1's in W are divisible by 3 and 5, respectively as.

    1. 15 states
    2. 11 states
    3. 10 states
    4. 9 states
Correct Option: A

It is given that the 0's and 1's are divisible by 3 and 5 and we know that 3 and 5 do not have any factor other than themselves or 1 i.e., these cannot be further breakdown.
Therefore, number of states = 3 × 5 = 15
The schematic representation is as follows:



Your comments will be displayed only after manual approval.