<script type="text/javascript">
<!--
document.write('<div id="oa_widget"></div>');
document.write('<script type="text/javascript" src="https://www.openaire.eu/index.php?option=com_openaire&view=widget&format=raw&projectId=undefined&type=result"></script>');
-->
</script>
doi: 10.1007/bf00968804
We investigate a class of generalized calculations on Turing machines with oracles which were considered in papers by \textit{N. V. Belyakin} [Mat. Sb., Nov. Ser. 101(143), 21-43 (1976; Zbl 0342.02031)] and \textit{V. A. Ganov} [''The selector function and the continuum hypothesis'' (Russian) (manuscript deposited at VINITI (Moscow) No.94-81)]. We use as oracles one-place functions not everywhere defined which satisfy the special conditions of regularity, weak groundedness and normalizability. In Section 1 we show that the idea of enumerability of sets with oracles can be substantially strengthened. In Section 2 we introduce the condition of decomposability of an oracle and prove its equivalence to the condition of normalizability.
one-place functions, Turing machines and related notions, Turing machines with oracles, Models of computation (Turing machines, etc.), generalized calculations, normalizability, decomposability of an oracle
one-place functions, Turing machines and related notions, Turing machines with oracles, Models of computation (Turing machines, etc.), generalized calculations, normalizability, decomposability of an oracle
citations 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). | 1 | |
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 |