Abstract effective models

Udi Boker*, Nachum Dershowitz

*Corresponding author for this work

Research output: Contribution to journalConference articlepeer-review

Abstract

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
Volume135
Issue number3
DOIs
StatePublished - 3 Mar 2006
EventProceedings of the First International Workshop on Developments in Computational Models (DCM 2005) -
Duration: 10 Jul 200510 Jul 2005

Keywords

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

Fingerprint

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

Cite this