Introduction

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.

Usage

Go to the relevant directory and follow the instructions in the README.md file to use the program.