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

continuitycomputabilitylabeled treesemicomputabilityapplicative system\(\Delta\)-calculus realizabilityaxioms of universality and approximationmacrotransducerpartially continuous functionpartially recursive functions

Mathematics Subject Classification ID

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

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

(2)

• 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)