The Pumping Lemma for Context-Free Languages Automata Theory by ComputeNow - September 10, 2018September 10, 20180 The Pumping Lemma for Context-Free Languages (CFL) Proving that something is not a context-free language requires either finding a context-free grammar to describe the language or using another proof technique (though the pumping lemma is the most commonly used one). A common lemma to use to prove that a language is
Translating Between Context-Free Grammars and Pushdown Automata Automata Theory by ComputeNow - August 19, 2018August 19, 20180 Context-free Grammar to Pushdown Automata Each derivation or sequence of production rules that results in a given string is made up of intermediate strings (which are made at each step of the derivation). The pushdown automata's nondeterminism helps it to guess the sequence of steps in the derivation that will result in the desired