Need help with Introduction-to-the-Theory-of-Computation-Solutions?
Click the “chat” button below for chat support from the developer who created it, or find similar developers for support.

About the developer

298 Stars 141 Forks 88 Commits 4 Opened issues


Solutions to Michael Sipser's Introduction to the Theory of Computation Book (3rd Edition).

Services available


Need anything else?

Contributors list

# 79,318
3 commits
# 292,792
2 commits
# 521,326
1 commit


Video playlist of solutions:


If you want to contribute to this repository, feel free to create a pull request (please copy the format as in the other exercises). Also, let me know if there are any errors in the existing solutions.

Solutions to Michael Sipser's Introduction to the Theory of Computation Book (3rd Edition).

Completed chapters: - Chapter 1: Not yet - Chapter 2: Not yet - Chapter 3: Not yet - Chapter 4: Not yet - Chapter 5: Not yet - Chapter 6: Not yet - Chapter 7: Not yet - Chapter 8: Not yet - Chapter 9: Not yet - Chapter 10: Not yet



For easier access to solutions, those are already compiled: just open Solutions.pdf in any PDF viewer (Or Google Chrome directly).

Compiling LaTeX

This PDF file was compiled using MiKTeX 2.9.6840 (x64) (download) on macOS 10.14 (Mojave) x64 architecture using this terminal command (It also requires you to install dependencies):

pdflatex Solutions.tex

MiKTeX can run on Windows, Linux/UNIX-like systems and also Docker.

There are many alternatives to compile LaTeX files, such as: - TeX Live (Linux/UNIX-like systems) - MacTeX (Like TeX Live, but for Mac OS X) - teTeX (Linux/UNIX-like systems, discontinued) - proTeXt (Like MiKTeX)

We use cookies. If you continue to browse the site, you agree to the use of cookies. For more information on our use of cookies please see our Privacy Policy.