All mock tests are FREE till 31 December — register to save your progress
Unit 8 · Theory of Computation and Compilers Paper 2 CS · December 2024

Directions (Q91–95): A machine is represented by states Q, input alphabet Σ = {a, b}, a transition function δ, initial state q0 and final states F. It accepts all strings over Σ that contain abb as a substring, with any combination of a and b before and after it.

For the above specified passage, which of the following is DFA for the language represented/accepeted by machine?

Pick an option to check yourself, or open the answer below.

Show answer & explanation

Correct answer: C.

Option C

Explanation

A is an NFA (state 1 has two moves on a). B is missing the move from state 3 on a, so it rejects strings like ababb. C defines a move for every state and symbol and accepts exactly the strings containing abb (states 4, 5, 6 are all accepting), so it is a valid, though not minimal, DFA.

More Theory of Computation and Compilers questions