In fact, for technical reasons we will use this notion instead of strong equivalence for testing the strong generative power of a formal system.
the original problem, which was, given a formalism F , to find a formalism that has as much strong generative power as possible but remains weakly equivalent to F , is now recast as Figure 4: CFG which simulates the grammar of Figure 3.