Abstract Effective Models
Udi Boker, Nachum Dershowitz · Electronic Notes in Theoretical Computer Science · 2006
We modify Gurevich's notion of abstract machine so as to encompass computational models, that is, sets of machines that share the same domain. We also add an effectiveness requirement. The resultant class of “Effective Models” includes all known Turing-complete state-transition models, operating over any countable domain.