October 13

October 13 - CSCI 2670 Introduction to Theory of Computing...

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

View Full Document Right Arrow Icon
CSCI 2670 Introduction to Theory of Computing October 13, 2005
Background image of page 1

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

View Full DocumentRight Arrow Icon
October 13, 2005 2 Agenda •Yester day – Decidability and regular languages •Today – Putting things in perspective – More on decidability and regular languages
Background image of page 2
October 13, 2005 3 Course goals • Theoretically explore the capabilities and limitations of computers –Comp lex ity theory • What makes some problems computationally hard and others easy? – Computability theory • What problems can be solved by a computer?
Background image of page 3

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

View Full DocumentRight Arrow Icon
October 13, 2005 4 Some perspective • Automata theory – Introduced DFA’s, NFA’s, RE’s • Showed that they all accept the same class of languages – Introduced CFG’s, PDA’s • PDA is essentially an NFA with a stack • PDA’s and CFG’s accept the same class of languages
Background image of page 4
October 13, 2005 5 Perspective (cont.) • Computability Theory – Introduced TM’s • Like PDA’s with more general memory model – Importance of TM’s • Church-Turing Thesis • Any algorithm can be implemented on a TM – Use the TM model and Church-Turing Thesis to
Background image of page 5

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

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

This note was uploaded on 02/07/2011 for the course CS 501 taught by Professor Sm during the Spring '11 term at Indiana.

Page1 / 20

October 13 - CSCI 2670 Introduction to Theory of Computing...

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

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