1. {(ab)n (cb)n | n ≥ 1}
  2. {(??)? ???1 ???2 … ???|?, ?1, ?2 … , ?? ≥ 1}
  3. {(ab)n (cbm)n | m, n ≥ 1}
  4. {(ab)n (cbn)m | m, n ≥ 1}
4 views

1 Answers

Option 2 : {(𝑎𝑏)𝑛 𝑐𝑏𝑚1 𝑐𝑏𝑚2 … 𝑐𝑏𝑚𝑛 |𝑛, 𝑚1, 𝑚2 … , 𝑚𝑛 ≥ 1}

String Derivation:

S → abScT

→ ababScTcT (∵ S → abScT)

→ abababcTcTcT (∵ S → abcT)

→ abababcbTcTcT (∵ T → bT)

→ abababcbbTcTcT (∵ T → bT)

→ abababcbbbTcTcT (∵ T → bT)

→ abababcbbbbcTcT (∵ T → b)

→ abababcbbbbcbcT (∵ T → b)

→ abababcbbbbcbcbT (∵ T → bT)

→ abababcbbbbcbcbb (∵ T → b)

abababcbbbbcbcbb = (ab)3cb4cbcb2

From this string, it is clear that all the option 1),3) and 4) are not generated by given grammar.

Only option 2 matches.
4 views

Related Questions