Which of the following language will be accepted by given by PDA?


(A) L = {aⁱb^jcⁱ | i = 2j}
(B) L = {aⁱb^jc^k | i = j = k}
(C) L = {aⁱb^jc^k | i = j or j = k}
(D) L = {aⁱb^jc^k | i = k}


Answer: (C)

Explanation: The PDA has a nondeterministic branch at q0. If the string is aⁱb^jc^k with i = j then the PDA will take the branch from q0 to q1.If the string is aⁱb^jc^k with j = k then the PDA will take the branch from q0 to q2. The language accepted by above PDA is {aⁱb^jc^k | i = j or j = k}.

So, option (C) is correct.

Quiz of this Question