GATE CSE 2021 Set 2 Q57: Regular expressions for binary numbers divisible by three
- Theory of Computation
- 2 marks
- MSQ
- No negative marking
Question
Which of the following regular expressions represent(s) the set of all binary numbers that are divisible by three? Assume that the string is divisible by three.
Try it: multiple select: one or more correct options
Show answer and explanation
Answer: A, B, C (official GATE 2021 final answer key)
Concept used: The mod-3 DFA has states 0, 1, 2; a regular expression for it describes all loops on state 0.
First step: Draw the DFA (state = value mod 3, reading bits left to right) and write the ways to leave state 0 and come back to it.
Full step-by-step solution
Detailed working, common mistakes and linked mock tests will be available with a free GATEiit account. Log-in is coming soon.
Share this question
Source: official GATE 2021 Set 2 CS question paper and final answer key, organised by IIT Bombay. Question paper · Answer key
More Theory of Computation PYQs
- 2026 Session 1 · Q25Ambiguity of S → aSbS | bS | ε
- 2026 Session 1 · Q26Impossible minimal DFA sizes for a 6-state NFA
- 2026 Session 1 · Q51What follows from L1 ∩ L2 and L2 being regular
- 2026 Session 1 · Q52Counts of a's and b's in strings of a given CFG
- 2026 Session 2 · Q13Meaning of a Turing machine deciding a language
- 2026 Session 2 · Q29Which of four grammars are ambiguous