Back to the 2021 paper

Module 2: Context-free languages and pushdown automata

20217m

Let GG be a context-free grammar in Chomsky normal form that contains bb variable. Show that if GG generates some string using a derivation with at least 2b2^b steps, then L(G)L(G) is infinite.

Similar questions