Consider the following statements. I. If L1 ∪ L2 is regular, then both L1 and L2 must be regular. II. The class of regular languages is closed under infinite union. Which of the above statements is/are TRUE?

Option 4 : Neither I nor II

Statement I: FALSE

If L₁ ∪ L₂ is regular, then neither L₁ nor L₂ needs necessarily be regular.

Example:

Assume L₁= {aⁿ bⁿ, n ≥ 0} over the alphabet {a, b} and L₂ be the complement of L₁.

Neither L₁ nor L₂ is regular (both are DCFL) but L₁ ∪ L₂= {aⁿ bⁿ} ∪ {aⁿ bⁿ}^c = (a + b)^* is regular.

Statement II: FALSE. The infinite Union of regular languages is not regular.

Example:

Given alphabet {a, b}.

L₁= {ε}

L₂= {ab}

L₃= {aabb}

L₄= {aaabbb}

:

:

L = L₁ ∪ L₂ ∪ L₃ ∪ L₄ …

Each of the above are regular but their infinite Union gives L₁= {aⁿ bⁿ, n ≥ 0} which is not regular but DCFL.

Note: