Elements of The Theory of Computation

As Computer Science progressively matures as an established discipline, it becomes increasingly important to revisit its theoretical foundations, learn the appropriate techniques for answering theory-based questions, and build one’s confidence in implementing this knowledge when building computer applications. Students well-grounded in theory and abstract models of computation can excel in computing’s many application arenas.

This book is a compilation of manuscripts and publications from 2001-2010 by Jean-Roger Vergnaud, in collaboration with colleagues and students. This work is guided by the scientific belief that broader mathematical principles should guide linguistic inquiry, as they guide classical biology and physics.