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 Yesterday Decidability and regular languages Today Putting things in perspective More on decidability and regular languages Decidability and context free grammars
Background image of page 2
October 13, 2005 3 Course goals Theoretically explore the capabilities and  limitations of computers Complexity theory What makes some problems computationally hard and  others easy? Computability theory What problems can be solved by a computer? Automata theory How can we mathematically model computation?
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 understand 
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.

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