Solution
= Solution
A type-2 rule is $A\to\alpha$ with one nonterminal $A$ on the left; a type-2 grammar and its language are <context-free language>s. The required repetition criterion is the <pumping lemma for context-free languages>.
= Solution
A type-2 rule is $A\to\alpha$ with one nonterminal $A$ on the left; a type-2 grammar and its language are <context-free language>s. The required repetition criterion is the <pumping lemma for context-free languages>.