COS3701
Assignment 3 2025
, Assignment 03
Question 1
Let L₁ = (aa)*, L₂ = (a + b)*ab(a + b)*
Grammar for L₁:
Variables: S₁
Terminals: a
Start symbol: S₁
Productions:
S₁ → aaS₁ | ε
Grammar for L₂:
Variables: S₂, A, B
Terminals: a, b
Start symbol: S₂
Productions:
S₂ → AabB
A → aA | bA | ε
B → aB | bB | ε
Grammar for L₁L₂:
Variables: S₀, S₁, S₂, A, B
Terminals: a, b
Start symbol: S₀
Productions:
S₀ → S₁S₂
S₁ → aaS₁ | ε
S₂ → AabB
A → aA | bA | ε
B → aB | bB | ε
Assignment 3 2025
, Assignment 03
Question 1
Let L₁ = (aa)*, L₂ = (a + b)*ab(a + b)*
Grammar for L₁:
Variables: S₁
Terminals: a
Start symbol: S₁
Productions:
S₁ → aaS₁ | ε
Grammar for L₂:
Variables: S₂, A, B
Terminals: a, b
Start symbol: S₂
Productions:
S₂ → AabB
A → aA | bA | ε
B → aB | bB | ε
Grammar for L₁L₂:
Variables: S₀, S₁, S₂, A, B
Terminals: a, b
Start symbol: S₀
Productions:
S₀ → S₁S₂
S₁ → aaS₁ | ε
S₂ → AabB
A → aA | bA | ε
B → aB | bB | ε