This package contains various programs to work with objects studied in a "Theory of Computation" course.
-
lambda: A lambda calculus interpreter.
-
turing: A Turing machine simulator.
-
re: Programs for working with regular expressions and finite automatons.
Go to the relevant directory and follow the instructions in the README.md
file to use the program.