Browsing Electrical Engineering and Computer Science (6) - by Author "Sipser, Michael"
Sipser, Michael (2002-12)A more extensive and theoretical treatment of the material in 6.045J/18.400J, emphasizing computability and computational complexity theory. Regular and context-free languages. Decidable and undecidable problems, reducibility, ...
Sipser, Michael (2006-12)This graduate level course is more extensive and theoretical treatment of the material in Computability, and Complexity (6.045J / 18.400J). Topics include Automata and Language Theory, Computability Theory, and Complexity Theory.