
doi: 10.1007/bf02261744
The main objective of the paper is to extend the classical notion of an algorithm to arbitrary algebraic systems. Algorithmic constructions are chosen as in well-known standard program schemes, and are called BSS- machines following the names of \textit{L. Blum}, \textit{M. Shub}, and \textit{S. Smale} being the authors of the paper: ``On a theory of computation and complexity over the real numbers: NP-completeness, recursive functions and universal machines'' [Bull. Am. Math. Soc., New Ser. 21, No. 1, 1-46 (1989; Zbl 0681.03020)]. The basic idea of the suggested approach is to use BSS-machines over the list extension of a system \({\mathfrak A}\) and not over \({\mathfrak A}\) itself. Different generalizations of classical recursive functions in the theory of algorithms are introduced and studied from this point of view.
Recursively (computably) enumerable sets and degrees, algorithm, BSS-machines, recursive functions, Turing machines and related notions, algebraic systems, Models of computation (Turing machines, etc.), list extension, Recursive functions and relations, subrecursive hierarchies
Recursively (computably) enumerable sets and degrees, algorithm, BSS-machines, recursive functions, Turing machines and related notions, algebraic systems, Models of computation (Turing machines, etc.), list extension, Recursive functions and relations, subrecursive hierarchies
| selected citations These citations are derived from selected sources. This is an alternative to the "Influence" indicator, which also reflects the overall/total impact of an article in the research community at large, based on the underlying citation network (diachronically). | 2 | |
| popularity This indicator reflects the "current" impact/attention (the "hype") of an article in the research community at large, based on the underlying citation network. | Average | |
| influence This indicator reflects the overall/total impact of an article in the research community at large, based on the underlying citation network (diachronically). | Average | |
| impulse This indicator reflects the initial momentum of an article directly after its publication, based on the underlying citation network. | Average |
