Gate CS-2017-2 Question Paper With Solutions

Q. 26 Identity the language generated by following grammar where S is the start variable.

S --> XY
X --> aX | a
Y --> aYb | ∈

(A) {a^m bⁿ| m>=n, n>0 }

(B) {a^m bⁿ| m>=n, n>=0 }

(C) {a^m bⁿ| m>n, n>=0 }

(D) {a^m bⁿ| m>n, n>0 }

Answer: (C)

Explanation: