l2-handout

l2-handout - Outline Proof guidelines. Lecture 2: Finite...

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

View Full Document Right Arrow Icon
David L. Dill Department of Computer Science 1 Outline Proof guidelines. Introduction to regular languages. Deterministic finite automata (DFA) Nondeterministic finite automata (NFA) Proof that NFA and DFA languages are the same (subset construction). 2 Proof Expectations We don’t want to lose sight of the forest because of the trees. Here are the “forest-level” points with proofs. What is the proof strategy? Induction on strings. What are the base and induction steps? Induction on expressions. What are the base and induction steps? Diagonalization Reduction from another problem. Which direction is the reduction? What are the key insights in the proof? Often this is a construction (often something that can be implemented as a computer program) Translation between regular expressions, various finite automata. Translation from one problem to another. Make sure your document explain these things clearly in your proofs. If we can see QUICKLY that you did the right kind of proof and got the major points right, you’ll get nearly full credit. 3 Proof Guidelines 1. State what is being proved precisely and clearly. 2. Start proof with an explanation of the strategy (e.g. “induction on y ”) 3. Provide guideposts (e.g., Base , Induction ) 4. Highlight the interesting key parts of the proof (where did you have to be clever?) 5. Make it easy for the graders to see these things. 4
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.

Page1 / 4

l2-handout - Outline Proof guidelines. Lecture 2: Finite...

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