Macrotransducers and applicative systems for partially continuous functions

DOI10.1023/A:1016741416419MaRDI QIDQ1407110zbMATH OpenOpenAlexFDO

Authors L. P. Lisovik

Publication date 9 September 2003

Published in Cybernetics and Systems Analysis (Search for Journal in Brave)

Full work available at URL https://doi.org/10.1023/a:1016741416419

zbMATH Keywords

\(\Delta\)-calculus realizabilityapplicative systemaxioms of universality and approximationcomputabilitycontinuitylabeled treemacrotransducerpartially continuous functionpartially recursive functionssemicomputability

Mathematics Subject Classification ID

Computational difficulty of problems (lower bounds, completeness, difficulty of approximation, etc.) (68Q17) General systems (93A10)

Review text

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.

Recommendations

• Using macrotransducers to specify partial continuous operators in metric spaces
• Macrotransducers on labeled trees and partially continuous operators
• Extensional equivalences for transition systems
• Continuity of functional transducers: a profinite study of rational functions
• Iterating transducers in the large (extended abstract)
• scientific article; zbMATH DE number 3866600
• Encoding transition systems in sequent calculus
• Finite transducers and rational transductions
• Application of finite transducers to the specification of mappings and fractal sets
• scientific article; zbMATH DE number 1332630

Cited in

(4)

• Using macrotransducers to specify partial continuous operators in metric spaces
• Macrotransducers on labeled trees and partially continuous operators
• Axiomatic theory of partial continuous functions and the Peano curve
• scientific article; zbMATH DE number 4187807 (Why is no real title available?)

This page was built for publication: Macrotransducers and applicative systems for partially continuous functions

Report a bug (only for logged in users!)Click here to report a bug for this page (MaRDI item Q1407110)