We are experiencing minor difficulties with our submission forms, which we are working to resolve. If you have any issues while submitting items, please contact us at dspace-lib@mit.edu.

6.045J / 18.400J Automata, Computability, and Complexity, Spring 2002

Thumbnail Image
Download
Name

6-045JSpring-2002/OcwWeb/Electrical-Engineering-and-Computer-Science/6-045JAutomata--Computability--and-ComplexitySpring2002/CourseHome/index.htm

Size

14.93 KB

Format

HTML

Checksum (MD5)

33e40f5cda32de103457a1ada647d153

Author(s)
Rivest, Ronald L.
Alternative Title
Automata, Computability, and Complexity
Date Issued
June 2002
Abstract
Slower paced than 6.840J/18.404J. Introduces basic mathematical models of computation and the finite representation of infinite objects. Finite automata and regular languages. Context-free languages. Turing machines. Partial recursive functions. Church's Thesis. Undecidability. Reducibility and completeness. Time complexity and NP-completeness. Probabilistic computation. Interactive proof systems.
Subjects
automata
computability
complexity
mathematical models
computation
finite representation
infinite objects
finite automata
regular languages
context-free languages
Turing machines
partial recursive functions
Church's Thesis
undecidability
reducibility
completeness
time complexity
NP-completeness
probabilistic computation
interactive proof systems
6.045J
18.400J
6.045
18.400
Computational complexity
MIT Department
Massachusetts Institute of Technology. Department of Electrical Engineering and Computer Science
Massachusetts Institute of Technology. Department of Mathematics
Terms of Use
Persistent DSpace Link
PrivacyPermissionsAccessibilityContact us
Notify us about copyright concerns.