This archive contains programs for the course "Theory of Computation". It includes a single-tape Turing machine simulator, programs for working with regular expressions and finite automata, and a lambda calculus interpreter.

A program is free if it guarantees all users the freedom to study, modify, and share the program.

The Free Software Foundation is a non-profit organization that promotes software user freedom.