Course Description

This course provides a rigorous but intuitive introduction to computer theory. Topics covered include formal languages, regular expressions, finite automata, grammars, pushdown automata, and Turing machines.

Course Notes

Introduction to Theoretical Computer Science Notes