Back to the 2025 paper

Module 1: Introduction & Regular Languages

20252m

If Σ={a,b}\Sigma = \{a, b\}, then Σ∗\Sigma^* contains

(i) Only finite strings
(ii) Only infinite strings
(iii) All finite strings over Σ\Sigma including ϵ\epsilon
(iv) Only strings of equal length

Worked SolutionAI Assisted

Answer

Correct Option: (iii) All finite strings over Σ\Sigma including ϵ\epsilon

Explanation

Definition: Σ∗=⋃i=0∞Σi\Sigma^* = \bigcup_{i=0}^{\infty} \Sigma^i, where Σ0={ϵ}\Sigma^0 = \{\epsilon\}, Σ1=Σ\Sigma^1 = \Sigma, Σ2=ΣΣ\Sigma^2 = \Sigma\Sigma, ...

For Σ={a,b}\Sigma = \{a,b\}:

  • ϵ\epsilon (empty string, length 0) ∈ Σ∗\Sigma^*
  • a,ba, b ∈ Σ∗\Sigma^*
  • aa,ab,ba,bbaa, ab, ba, bb ∈ Σ∗\Sigma^*
  • … all finite concatenations.

Properties:

  • Countably infinite set.
  • Does not contain infinite strings (each string is finite; there are infinitely many strings, but each has finite length).
  • Not limited to equal length.

Options:

  • (i) Only finite strings but missing ϵ\epsilon → incomplete
  • (ii) Only infinite strings → false
  • (iv) Only equal length → false

Final Answer

All finite strings including ϵ\epsilon → Option (iii).

Similar questions

Budget AppAndroid App

Pocketly on Android

Log daily food, travel, and hostel expenses instantly. Set monthly spending limits and see where your money goes without complex spreadsheets.