Get the contextfree grammars for the following languages a a

Get the context-free grammars for the following languages:

(a) {abⁿabⁿa : n 0}

(b) {aⁿ b^mc^k : k = m + n}

(c) {aⁿ b^m a^m bⁿ : m, n 0}

(d) {aⁱ b^j c^k : i = j or i = k}

Solution

a) S->aSaSa/b

b) S->ABCC

A->aA/a

B->bB/b

c->cC/c

c) S->BAC

A ->BA/ba

B->aA/a

c->bB/b

d) S->AC/BC

A->AB/a

B->BC/b

C->c