About Introduction to Formal Models in Computer Science
Introduction to Formal Models in Computer Science- Lecture notes from the University of Washington covering basic topics such as computation models and theoretical concepts such as nondeterminism.