01-introduction

01-introduction - Welcome - CSC 544 Theory of Computation...

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

View Full Document Right Arrow Icon
Welcome - CSC 544 Theory of Computation Dr. Lutz Hamel hamel@cs.uri.edu Tyler Hall, Rm 251 –p
Background image of page 1

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

View Full DocumentRight Arrow Icon
Optional Reference Material Other books you might find useful/interesting to consult: Computability, Complexity, and Languages , Martin Davis, Ron Sigal, and Elaine Weyuker, 2nd Edition, Academic Press, 1994. Introduction to Automata Theory, Languages, and Computation , John Hopcroft, Rajeev Motwani, and Jeffrey Ullman, 2nd Edition, Addison-Wesley, 2000. Languages and Machines , Thomas Sudkamp, 3rd Edition, Addison-Wesley, 2006. Mathematical Theory of Computation , Zohar Manna, Dover Press, 2003. The Universal Computer: The Road from Leibniz to Turing Company, 2000. Alan Turing: Life and Legacy of a Great Thinker , Christof Teuscher (Editor), Springer, 2006. –p
Background image of page 2
The What and the Why What: The Theory of Computation is the formal (mathematical) investigation of models of computation. Why: We investigate models of computation in order to understand the nature of computation without having to worry about specific hardware. However, if the models reflect the major characteristics of the hardware implementation, then the laws of computation discovered in the model are also applicable to the actual hardware! Thus, the theoretical results are directly applicable to software design. The nature of computing does not only involve limits computability, but also problem complexity. We could be faced with a perfectly computable function (whatever that means at this point) but the time and/or space complexity of this function is such that
Background image of page 3

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

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

This note was uploaded on 10/03/2011 for the course CSC 544 taught by Professor Staff during the Spring '11 term at Rhode Island.

Page1 / 12

01-introduction - Welcome - CSC 544 Theory of Computation...

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

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