Macrotransducers and applicative systems for partially continuous functions (Q1407110): Difference between revisions
From MaRDI portal
Changed an Item |
Set profile property. |
||
Property / MaRDI profile type | |||
Property / MaRDI profile type: MaRDI publication profile / rank | |||
Normal rank |
Revision as of 04:14, 5 March 2024
scientific article
Language | Label | Description | Also known as |
---|---|---|---|
English | Macrotransducers and applicative systems for partially continuous functions |
scientific article |
Statements
Macrotransducers and applicative systems for partially continuous functions (English)
0 references
9 September 2003
0 references
The purpose of this short note is four-fold. (i) To provide further interpretations of the \(\Delta\)-calculus, (ii) to provide some extension of the \(\Delta\)-calculus to partially recursive functions and to partially continuous functions, (iii) to build up functionals and operators by means of macrotransducers over labeled trees, and (iv) to study some relations between the notions of computability, semicomputability, continuity and realizability. It is shown that the basic axioms of the \(\Delta\)-calculus are true for partially continuous operators.
0 references
macrotransducer
0 references
applicative system
0 references
partially continuous function
0 references
partially recursive functions
0 references
labeled tree
0 references
\(\Delta\)-calculus realizability
0 references
continuity
0 references
computability
0 references
semicomputability
0 references
axioms of universality and approximation
0 references