day29 - 10/4/11 Dec 2, UCF (Charles E. 44 Non-Closure CFLs...

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

View Full Document Right Arrow Icon
Click to edit Master subtitle style 10/4/11
Background image of page 1

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

View Full DocumentRight Arrow Icon
Click to edit Master subtitle style 10/4/11 Formal Language Review Pretty Basic Stuff
Background image of page 2
10/4/11 Dec 2, © UCF (Charles E. 33 Closure Properties Regular (Finite State) Languages Union, intersection, complement, substitution, quotient (with anything), max, min, cycle, reversal Use of Pumping Lemma and Myhill-Nerode Context Free Union, intersection with regular, substitution, quotient with regular, cycle, reversal Use of Pumping and Ogden’s Lemma Context Sensitive Languages
Background image of page 3

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

View Full DocumentRight Arrow Icon
Background image of page 4
Background image of page 5
This is the end of the preview. Sign up to access the rest of the document.

Unformatted text preview: 10/4/11 Dec 2, UCF (Charles E. 44 Non-Closure CFLs not closed under Intersection, complement, max, min CSLs not closed under Homomorphism (or substitution with empty string), max (similar to homomorphism) 10/4/11 Dec 2, UCF (Charles E. 55 Grammars and re Sets Every grammar lists an re set. Some grammars (regular, CFL and CSG) produce recursive sets. Type 0 grammars are as powerful at listing re sets as Turing machines are at enumerating re sets (Proof later)....
View Full Document

This note was uploaded on 10/03/2011 for the course COT 5310 taught by Professor Staff during the Spring '08 term at University of Central Florida.

Page1 / 5

day29 - 10/4/11 Dec 2, UCF (Charles E. 44 Non-Closure CFLs...

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

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