## Documents

The following documents set out the expectations for this course. Please be sure to read them.

## Recommended Reading

*Models of Computation*by Prof. John Savage*Introduction to the Theory of Computation*by Michael Sipser

## Software

- Finite State Machine Designer by Evan Wallace
- Arrows and Circles (or run 'arrows-and-circles' on any department machine) by Eddie Grystar, Plane Janthong, Sandy Student, and Eli Wald
- Logisim for circuit design

## LaTeX

- Download LaTeX for Windows (MiKTeX)
- Download LaTeX for Macs (MacTeX)
- An awesome widget that gives LaTeX symbols based on handwriting (Detexify^2)
- A Not So Short Introduction to LaTeX2e
- LaTeX Symbols
- LaTeX Wikibook
- Essential LaTeX
- AOPS LaTeX

## Just for Fun

- Robust Soldier Crab Ball Gate
- Scooping the Loop Snooper by Geoffrey Pullum, on the halting problem
*No deciding*, a song of Turing Machines