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
.