Computer Science: The Mechanization of Abstraction

This book has been taken out of print by W. H. Freeman. You are welcome to use it if you like. We believed in 1992 it was the way to introduce theory in Computer Science, and we believe that today. --- Al Aho and Jeff Ullman Special offer for students: Until June 30, 2009, we have made use of the Gradiance materials available for students whose instructors are not using the system. Make yourself an account on www.gradiance.com/services, and then sign up for the class 8CD5ED01. You will be able to work 31 selected homeworks, and will get advice when you make an error. The only difference is that we cannot reveal solutions, because these assignments are open indefinitely.