Abstract Effective Models |
| |
Authors: | Udi Boker Nachum Dershowitz |
| |
Affiliation: | School of Computer Science, Tel Aviv University, Tel Aviv 69978, Israel;School of Computer Science, Tel Aviv University, Tel Aviv 69978, Israel |
| |
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: | Computational models Turing machines ASM Abstract State Machines Effectiveness |
本文献已被 ScienceDirect 等数据库收录! |
|