CH 3 - Context-free Languages and Pushdown Automata Flashcards
Define a PDA.
Define a configuration of P.
When does a PDA accept an input word?
State and prove a theorem (part a and b) on which languages a PDA recognises.
Define a context free grammar (CFG).
How do you make a word of a language L(A), where A is a variable?
Define a derivation.
When is a language context-free?
Define a parse tree for a derivation.
Define Chomsky normal form.
We will show how you can convert any CFG to one in Chomsky normal form.
(1) Describe the bad epsilon-rule process.
State a lemma on a CFG that start cleanly.
(2) Describe the unit rule process.
State a lemma on a CFG that starts cleanly and has no bad epsilon-rules.
State a theorem on the existence of a Chomsky normal form language.
For a CFG, G, there exists a CFG G_1 in Chomsky
Normal Form such that L(G) = L(G1).
State the theorem on context-free languages and PDAs.
Give a method for constructing a PDA that accepts the language generated by a CFG.
State a corollary on the classes of regular and context-free languages.
Practice with Example 3.4.2. and Example 3.4.3.
Corollary 3.4.4. The class of regular languages is a proper subset of the class of context-free languages.
Give two methods for showing a language is context-free.
Showing a language is not context-free: State the Pumping Lemma for context-free languages.
Practice using the Pumping Lemma for a contradiction in Example 3.5.2. and Example 3.5.3.