This text focuses on finite problems and emphasizes concrete models of machines and programming styles. Using problems defined over infinite domains and abstrac... » 

This text focuses on finite problems and emphasizes concrete models of machines and programming styles. Using problems defined over infinite domains and abstract machine models as models, emphasis is given to concrete problems of the kind found in algorithms textbooks. «