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 Σ, transition function δ, initial state q0 and final states F. The machine accepts all strings over Σ = {a, b} which start and end with any combination of the alphabet symbols, and in which abb occurs as a substring (i.e. the language of all strings over {a, b} containing abb).

For the above specified passage, which of the following represents the grammar for the language accepted by the machine?

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

Show answer & explanation

Correct answer: C. S → AabbA, A → aA | bA | ε

Explanation

A → aA | bA | ε generates (a + b)*, so S → A abb A generates (a + b)* abb (a + b)*. Option A only allows a* before and b* after, B forces the string to start with abb, and D forces it to end with abb.

More Theory of Computation and Compilers questions