Abstract effective models

Udi Boker; Nachum Dershowitz

doi:10.1016/j.entcs.2005.09.017

Abstract effective models

Udi Boker^*, Nachum Dershowitz

^*Corresponding author for this work

School of Computer Science

Research output: Contribution to journal › Conference article › peer-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 language	English
Pages (from-to)	15-23
Number of pages	9
Journal	Electronic Notes in Theoretical Computer Science
Volume	135
Issue number	3
DOIs	https://doi.org/10.1016/j.entcs.2005.09.017
State	Published - 3 Mar 2006
Event	Proceedings of the First International Workshop on Developments in Computational Models (DCM 2005) - Duration: 10 Jul 2005 → 10 Jul 2005

Keywords

ASM
Abstract State Machines
Computational models
Effectiveness
Turing machines

Access to Document

10.1016/j.entcs.2005.09.017

Cite this

@article{13ad49604e06445781ca2896d11fb124,

title = "Abstract effective models",

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.",

keywords = "ASM, Abstract State Machines, Computational models, Effectiveness, Turing machines",

author = "Udi Boker and Nachum Dershowitz",

year = "2006",

month = mar,

day = "3",

doi = "10.1016/j.entcs.2005.09.017",

language = "אנגלית",

volume = "135",

pages = "15--23",

journal = "Electronic Notes in Theoretical Computer Science",

issn = "1571-0661",

publisher = "Elsevier",

number = "3",

note = "null ; Conference date: 10-07-2005 Through 10-07-2005",

}

TY - JOUR

T1 - Abstract effective models

AU - Boker, Udi

AU - Dershowitz, Nachum

PY - 2006/3/3

Y1 - 2006/3/3

N2 - 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.

AB - 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.

KW - ASM

KW - Abstract State Machines

KW - Computational models

KW - Effectiveness

KW - Turing machines

UR - http://www.scopus.com/inward/record.url?scp=33244478597&partnerID=8YFLogxK

U2 - 10.1016/j.entcs.2005.09.017

DO - 10.1016/j.entcs.2005.09.017

M3 - מאמר מכנס

AN - SCOPUS:33244478597

VL - 135

SP - 15

EP - 23

JO - Electronic Notes in Theoretical Computer Science

JF - Electronic Notes in Theoretical Computer Science

SN - 1571-0661

IS - 3

Y2 - 10 July 2005 through 10 July 2005

ER -

Abstract effective models

Abstract

Keywords

Access to Document

Other files and links

Fingerprint

Cite this