CH 3 - Context-free Languages and Pushdown Automata Flashcards

1
Q

Define a PDA.

A
How well did you know this?
1
Not at all
2
3
4
5
Perfectly
2
Q

Define a configuration of P.

When does a PDA accept an input word?

A
How well did you know this?
1
Not at all
2
3
4
5
Perfectly
3
Q

State and prove a theorem (part a and b) on which languages a PDA recognises.

A
How well did you know this?
1
Not at all
2
3
4
5
Perfectly
4
Q

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.

A
How well did you know this?
1
Not at all
2
3
4
5
Perfectly
5
Q

When is a language context-free?

Define a parse tree for a derivation.

A
How well did you know this?
1
Not at all
2
3
4
5
Perfectly
6
Q

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.

A
How well did you know this?
1
Not at all
2
3
4
5
Perfectly
7
Q

(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.

A

For a CFG, G, there exists a CFG G_1 in Chomsky
Normal Form such that L(G) = L(G1).

How well did you know this?
1
Not at all
2
3
4
5
Perfectly
8
Q
A
How well did you know this?
1
Not at all
2
3
4
5
Perfectly
9
Q

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.

A

Corollary 3.4.4. The class of regular languages is a proper subset of the class of context-free languages.

How well did you know this?
1
Not at all
2
3
4
5
Perfectly
10
Q

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.

A
How well did you know this?
1
Not at all
2
3
4
5
Perfectly