Macrotransducers and applicative systems for partially continuous functions (Q1407110): Difference between revisions

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.