Macrotransducers and applicative systems for partially continuous functions (Q1407110)
From MaRDI portal
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