Os caracteres de website deste curso Tarefas , uma amostra de exame intermediário , informações sobre o Professor Sipser´s e livro texto Introdução à Teoria da Computação.

Um treinamento mais extensivo e teórico do material no 18.400J, Autômatos, Computabilidade, e Complexidade, enfatizando a teoria de complexidade computacional e computabilidade. Linguagens regular e de contexto-livre. Problemas determináveis e indetermináveis, redutibilidade, teoria de função recursiva. Medidas de tempo e espaço em computação, integralidade, teoremas de hierarquia, problemas inerentemente complexos, oracles, computação probabilística, e sistemas de provas interativos.