Lecture1 Introduction to Finite Automata

Lecture1 Introduction to Finite Automata - CS 172...

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

View Full Document Right Arrow Icon
1 CS 172: Computability and Complexity Introduction and Course Overview Sanjit A. Seshia EECS, UC Berkeley Acknowledgments: L.von Ahn, L. Blum, M. Blum, R. Jhala S. A. Seshia 2 A Card Game: SET A 'Set' is 3 cards in which for every feature: either it is the SAME on all 3 cards... or DIFFERENT on each card. The Features are: Symbols : Each card has ovals, squiggles, or diamonds on it; Color : The symbols are red, green, or purple/blue; Number : Each card has one, two, or three symbols on it; Shading : The symbols are solid, striped or open. ® checkbld xmarkbld
Image of page 1

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

View Full Document Right Arrow Icon
2 S. A. Seshia 3 Is there a SET? If not, prove it . S. A. Seshia 4 What we’ll do today Introduction to course staff and students • Motivation Course logistics Basics of proof and finite automata A quick survey at the end of class Pick up course information handout survey form SET handout
Image of page 2
3 S. A. Seshia 5 About Me B.Tech., Computer Sc. & Engg., IIT Bombay M.S. & Ph.D., Computer Science, Carnegie Mellon University, Pittsburgh Assistant Professor, EECS, UC Berkeley Office: 568 Cory S. A. Seshia 6 My Research Theory Practice + Example: Fast satisfiability solving used to build a better virus/worm detector Computational Logic, Algorithms CAD for VLSI, Computer Security, Program Analysis, Dependability
Image of page 3

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

View Full Document Right Arrow Icon
4 S. A. Seshia 7 Class Introductions Introduction to Anand Kulkarni (your GSI) and the rest of you… S. A. Seshia 8 A 3-Question Course Automata Theory:
Image of page 4
Image of page 5
This is the end of the preview. Sign up to access the rest of the document.

{[ snackBarMessage ]}

What students are saying

  • Left Quote Icon

    As a current student on this bumpy collegiate pathway, I stumbled upon Course Hero, where I can find study resources for nearly all my courses, get online help from tutors 24/7, and even share my old projects, papers, and lecture notes with other students.

    Student Picture

    Kiran Temple University Fox School of Business ‘17, Course Hero Intern

  • Left Quote Icon

    I cannot even describe how much Course Hero helped me this summer. It’s truly become something I can always rely on and help me. In the end, I was not only able to survive summer classes, but I was able to thrive thanks to Course Hero.

    Student Picture

    Dana University of Pennsylvania ‘17, Course Hero Intern

  • Left Quote Icon

    The ability to access any university’s resources through Course Hero proved invaluable in my case. I was behind on Tulane coursework and actually used UCLA’s materials to help me move forward and get everything together on time.

    Student Picture

    Jill Tulane University ‘16, Course Hero Intern