Selecting a Machine Model
Picking the machine model is subtle
Like porriage, the model has to be just right
- Too absract implies performance critical aspects of the computation will not be included
- Too specific implies the model over-constrains the implementation in a way that may not match physical machines well
Also, the model must be both intuitive and workable