Matches in SemOpenAlex for { <https://semopenalex.org/work/W2950456443> ?p ?o ?g. }
Showing items 1 to 79 of
79
with 100 items per page.
- W2950456443 abstract "It is well-known that Abstract State Machines (ASMs) can simulate step-by-step any type of machines (Turing machines, RAMs, etc.). We aim to overcome two facts: 1) simulation is not identification, 2) the ASMs simulating machines of some type do not constitute a natural class among all ASMs. We modify Gurevich's notion of ASM to that of EMA (Evolving MultiAlgebra) by replacing the program (which is a syntactic object) by a semantic object: a functional which has to be very simply definable over the static part of the ASM. We prove that very natural classes of EMAs correspond via literal identifications to slight extensions of the usual machine models and also to grammar models. Though we modify these models, we keep their computation approach: only some contingencies are modified. Thus, EMAs appear as the mathematical model unifying all kinds of sequential computation paradigms." @default.
- W2950456443 created "2019-06-27" @default.
- W2950456443 creator A5035372815 @default.
- W2950456443 creator A5041332050 @default.
- W2950456443 date "2010-01-13" @default.
- W2950456443 modified "2023-09-27" @default.
- W2950456443 title "Evolving MultiAlgebras unify all usual sequential computation models" @default.
- W2950456443 cites W121166499 @default.
- W2950456443 cites W1998333922 @default.
- W2950456443 cites W2121136774 @default.
- W2950456443 cites W2584146534 @default.
- W2950456443 cites W2604885820 @default.
- W2950456443 cites W2989239371 @default.
- W2950456443 hasPublicationYear "2010" @default.
- W2950456443 type Work @default.
- W2950456443 sameAs 2950456443 @default.
- W2950456443 citedByCount "1" @default.
- W2950456443 crossrefType "posted-content" @default.
- W2950456443 hasAuthorship W2950456443A5035372815 @default.
- W2950456443 hasAuthorship W2950456443A5041332050 @default.
- W2950456443 hasConcept C116834253 @default.
- W2950456443 hasConcept C145243422 @default.
- W2950456443 hasConcept C154945302 @default.
- W2950456443 hasConcept C167822520 @default.
- W2950456443 hasConcept C18903297 @default.
- W2950456443 hasConcept C199360897 @default.
- W2950456443 hasConcept C2777212361 @default.
- W2950456443 hasConcept C2777299769 @default.
- W2950456443 hasConcept C2780882242 @default.
- W2950456443 hasConcept C2781238097 @default.
- W2950456443 hasConcept C29248071 @default.
- W2950456443 hasConcept C41008148 @default.
- W2950456443 hasConcept C45374587 @default.
- W2950456443 hasConcept C59822182 @default.
- W2950456443 hasConcept C80444323 @default.
- W2950456443 hasConcept C86803240 @default.
- W2950456443 hasConceptScore W2950456443C116834253 @default.
- W2950456443 hasConceptScore W2950456443C145243422 @default.
- W2950456443 hasConceptScore W2950456443C154945302 @default.
- W2950456443 hasConceptScore W2950456443C167822520 @default.
- W2950456443 hasConceptScore W2950456443C18903297 @default.
- W2950456443 hasConceptScore W2950456443C199360897 @default.
- W2950456443 hasConceptScore W2950456443C2777212361 @default.
- W2950456443 hasConceptScore W2950456443C2777299769 @default.
- W2950456443 hasConceptScore W2950456443C2780882242 @default.
- W2950456443 hasConceptScore W2950456443C2781238097 @default.
- W2950456443 hasConceptScore W2950456443C29248071 @default.
- W2950456443 hasConceptScore W2950456443C41008148 @default.
- W2950456443 hasConceptScore W2950456443C45374587 @default.
- W2950456443 hasConceptScore W2950456443C59822182 @default.
- W2950456443 hasConceptScore W2950456443C80444323 @default.
- W2950456443 hasConceptScore W2950456443C86803240 @default.
- W2950456443 hasLocation W29504564431 @default.
- W2950456443 hasOpenAccess W2950456443 @default.
- W2950456443 hasPrimaryLocation W29504564431 @default.
- W2950456443 hasRelatedWork W1502680278 @default.
- W2950456443 hasRelatedWork W1521623677 @default.
- W2950456443 hasRelatedWork W153408086 @default.
- W2950456443 hasRelatedWork W1598598190 @default.
- W2950456443 hasRelatedWork W179213036 @default.
- W2950456443 hasRelatedWork W2052554274 @default.
- W2950456443 hasRelatedWork W2147602040 @default.
- W2950456443 hasRelatedWork W2187529648 @default.
- W2950456443 hasRelatedWork W2261275499 @default.
- W2950456443 hasRelatedWork W2295208068 @default.
- W2950456443 hasRelatedWork W2398539043 @default.
- W2950456443 hasRelatedWork W2577629414 @default.
- W2950456443 hasRelatedWork W2763272531 @default.
- W2950456443 hasRelatedWork W2901054382 @default.
- W2950456443 hasRelatedWork W2911311810 @default.
- W2950456443 hasRelatedWork W3010955378 @default.
- W2950456443 hasRelatedWork W3087387852 @default.
- W2950456443 hasRelatedWork W3186269239 @default.
- W2950456443 hasRelatedWork W2736489244 @default.
- W2950456443 hasRelatedWork W2777606628 @default.
- W2950456443 isParatext "false" @default.
- W2950456443 isRetracted "false" @default.
- W2950456443 magId "2950456443" @default.
- W2950456443 workType "article" @default.