Abstract effective models

Udi Boker*, Nachum Dershowitz

*Corresponding author for this work

Research output: Contribution to journalConference articlepeer-review


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.

Original languageEnglish
Pages (from-to)15-23
Number of pages9
JournalElectronic Notes in Theoretical Computer Science
Issue number3
StatePublished - 3 Mar 2006
EventProceedings of the First International Workshop on Developments in Computational Models (DCM 2005) -
Duration: 10 Jul 200510 Jul 2005


  • ASM
  • Abstract State Machines
  • Computational models
  • Effectiveness
  • Turing machines


Dive into the research topics of 'Abstract effective models'. Together they form a unique fingerprint.

Cite this