Consider the following two finite automata 𝐷1 and 𝐷2 Which of the following…

2026

Consider the following two finite automata 𝐷1 and 𝐷2

image.png

Which of the following statements is/are true?

  1. A.

    𝐿(𝐷1 ) = 𝐿(𝐷2 )

  2. B.

    L(𝐷1) is a proper subset of 𝐿(𝐷2 )

  3. C.

    𝐿(𝐷1 ) ∩ 𝐿(𝐷2 ) = { 𝜖}

  4. D.

    (𝐿(𝐷1 ) ∪ 𝐿(𝐷2)) consists of all strings in {0,1}whose length is divisible by 3

Attempted by 21 students.

Show answer & explanation

Correct answer: C, D

Option A is false (languages differ).
Example - 000 is accepted by D1 but not by D2

Option B is false (D1 has strings not in D2).
Example - 000 is in D1 but not in D2

Option C is Correct1
The intersection is just {ε}.

Option D is true e.g., '100' has length 3 but is not in either language).

Explore the full course: Gate Guidance By Sanchit Sir