This preview shows page 1. Sign up to view the full content.
Unformatted text preview: Final Study Guide CISC 303 Timo Kötzing (tkoe@udel.edu) The nal will basically consist of questions similar to homework problems of the homework sets 511. In addition
to this, there will be some general questions regarding regular languages, and regarding similarities and dierences of
the dierent automata models. Hence, you should make sure to understand all homework problems. In particular,
the following would be helpful. • Know and understand all kinds of automata in graphical notation: DFA, NFA, εNFA, PDA, DPDA, TM;
dierence in notation in the dierent models; acceptance in the dierent models.
• Know properties of regular languages: closure properties, characterization by regular expressions, NFA, εNFA
models.
• Know examples of languages that are: regular; contextfree and not regular; decidable and not contextfree;
semidecidable and not decidable; not semidecidable.
• Be able to give grammars accepting a given language; understand a given grammar.
• Be able to give parsetrees, leftmost derivations, rightmost derivations.
• Be ably to apply all algorithms that we talked about in class or in homework. In particular, be able to apply all
algorithms on contextfree grammars, including conversion to CNF;
• Be able to nondeterministically parse a given input.
• Be able to show a function to be computable by using closure properties as given in Theorem 3.2.1 in the script
and a given set of library functions.
• Be able to use the ChurchTuring Thesis to informally show a set to be decidable or semidecidable.
• Be able to use TMmodier and reduction to show a language to be not decidable.
• Know how to show a language to be not semidecidable. In particular, you will not be asked about • Algorithms on DFAs, NFAs, εNFAs or (D)PDAs;
• Enumerators;
• Complexity Theory. 1 ...
View
Full
Document
This note was uploaded on 02/01/2012 for the course CISC 303 taught by Professor Carberry,m during the Spring '08 term at University of Delaware.
 Spring '08
 Carberry,M

Click to edit the document details