Languages and Machines gives a mathematically sound presentation of the theory of computing at the junior and senior level, and is an invaluable tool for scientists investigating the theoretical foundations of computer science.
No special mathematical prerequisites are assumed; the theoretical concepts and associated mathematics are made accessible by a "learn as you go" approach that develops an intuitive understanding of the concepts through numerous examples and illustrations.
About Thomas Sudkamp
Thomas A. Sudkamp holds a Ph.D. in mathematics from the University of Notre Dame and worked extensively in industry and for the Air Force before joining the faculty at Wright State University where he has taught for over 10 years.
0201821362AB04062001