Q4real09sol - CSE303 Q4 SOLUTIONS Summer 2009 YES/NO...

Info iconThis preview shows pages 1–2. Sign up to view the full content.

View Full Document Right Arrow Icon
Q4 SOLUTIONS Summer 2009 YES/NO questions 1. The set of terminals is always non- empty Justify : Finite set can be empty n 2. L ( G ) = { w V : S * G w } Justify : w Σ * n 3. Any regular language is context-free Justify : 1. Any Finite Automata is a PDF automata 2.Regular languages are generated by regular grammars, that are also CF. y 4. Language is regular if and only if is generated by a regular grammar (right- linear) Justify : proof in class y 5. The stack alphabet of a pushdown automaton is always non- empty Justify : finite set can be empty n 6. Δ ( K × Σ * × Γ * ) × ( K × Γ * is a transition relation of a pushdown automaton (lecture definition) Justify : Δ must be finite n 7. L ( M ) = { w Σ * : ( s,w,e ) | = * M ( f,e,e ) } Justify : f F n 8. Any regular language is accepted by a pushdown automaton Justify : Any finite automata is a pushdown automata operating on an empty stock. y 9. Context-free languages are closed under intersection Justify : Take L 1 = a n b n c m ,L 2 = a m b n c n , both CF and we get that L 1 L 2 = a n b n c n is not CF n 10. The union of a context-free language and regular language is a context- free language Justify : regular language is also a context free language and context free languages are closed under union y PROBLEMS QUESTION 1 Consider a grammar G = ( V, Σ ,R,S ), where V = { a,b,S,A
Background image of page 1

Info iconThis preview has intentionally blurred sections. Sign up to view the full version.

View Full DocumentRight Arrow Icon
Image of page 2
This is the end of the preview. Sign up to access the rest of the document.

This note was uploaded on 06/03/2011 for the course CSE 303 taught by Professor Ko,k during the Spring '08 term at SUNY Stony Brook.

Page1 / 5

Q4real09sol - CSE303 Q4 SOLUTIONS Summer 2009 YES/NO...

This preview shows document pages 1 - 2. Sign up to view the full document.

View Full Document Right Arrow Icon
Ask a homework question - tutors are online