ASM Studies

Can any algorithm, never mind how abstract, be modeled
by a generalized machine very closely and faithfully? ... If
we stick to one abstract level (abstracting from low-level details and
being oblivious to a possible higher-level picture) and if the
states of the algorithm reflect all the pertinent information, then
a particular small instruction set suffices in all cases.