Even though we typically select only one machine model to analyze a given algorithm,we still face many choices in deciding how to express our analysis.