This was the old website of 6.S084 Spring 2018, an experimental version of Computation Structures that is now offered as 6.004. You will be redirected to the 6.004 website.