Email the Author

You can use this page to email Charles D. Allison about Foundations of Computing.

About the Book

A textbook for upper-division Computer Science majors covering formal languages and automata with an introduction to computability. Intended to give CS majors a solid foundation in the Theory of Computation without being overly formal mathematically, while retaining the rigor of the material. It has been classroom tested since 2016 with good success.

About the Author

Charles D. Allison

Professor Allison has degrees in mathematics and twenty years experience as a professional software engineer. He has been at UVU since 2001, specializing in programming languages, software design, mathematical foundations of computing, scientific computing, C++, and Python. He has over 100 publications, including two C++ books, and an interactive textbook on the Theory of Computation.