Examples of Converting PDA to CFG (General Case)

Let’s start by looking at a few examples of converting an arbitrary PDA to CFG.

First example

The following PDA accepts the language $L_n = \{a^nb^n \;|\; n\geq 0\}$.