Blog - /Personal

Ryan Stutsman and I wrote a review guide for our Theory of Computation (CS 483) class. I was disgusted with how terse the textbook for the class was, so I wanted to write something that was more forgiving, with focus on general methods for solving problems, since that we will most likely be tested on our ability to do proof problems.

I used Muse to create the first draft, Ryan jazzed up the resulting Latex code with math symbols and wrote quite a few sections. Then I applied his transforms throughout the document, printed 13 copies for the class, and then made "Version 2.0" based on feedback from the prof and classmates.

Update

Version 2.1 is out, which fixes a mistake in the Preface about the notation used throughout the guide.

2nd update

Version 2.2 has been released, which substantially improves the Language classes section. This will be the last revision before I take the exam for this course.