Back to the 2021 paper

Module 2: Context-Free Languages (CFL) and PDA

20217m

Let GG be a CFG in CNF with bb variables. Show that if GG derives any string using at least 2b2^b steps, then L(G)L(G) is infinite.

Similar questions