Abstract Effective Models | Zendy

Udi Boker | Zendy; Nachum Dershowitz | Zendy

AI Assistant Blog Pricing

Home ZAIA Blog

Open Access

Abstract Effective Models

Author(s) -

Udi Boker,

Nachum Dershowitz

Publication year - 2006

Publication title -

electronic notes in theoretical computer science

Language(s) - English

Resource type - Journals

SCImago Journal Rank - 0.242

H-Index - 60

ISSN - 1571-0661

DOI - 10.1016/j.entcs.2005.09.017

Subject(s) - countable set , computer science , class (philosophy) , turing machine , domain (mathematical analysis) , theoretical computer science , turing , abstract state machines , finite state machine , state (computer science) , programming language , discrete mathematics , mathematics , artificial intelligence , computation , mathematical analysis

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

The content you want is available to Zendy users.

Already have an account? Click here to sign in.

Having issues? You can contact us here

Accelerating Research