Sciweavers

TOCL
2002

Abstract computability and algebraic specification

13 years 10 months ago
Abstract computability and algebraic specification
Computability and Algebraic Specification J. V. TUCKER University of Wales, Swansea and J. I. ZUCKER McMaster University Abstract computable functions are defined by abstract finite deterministic algorithms on manysorted algebras. We show that there exist finite universal algebraic specifications that specify (up to isomorphism) (i) all abstract computable functions on any many-sorted algebra; (ii) all functions effectively approximable by abstract computable functions on any metric algebra. We show that there exist universal algebraic specifications for all the classically computable functions on the set R of real numbers. The algebraic specifications used are mainly bounded universal equations and conditional equations. We investigate the initial algebra semantics of these specifications, and derive situations where algebraic specifications precisely define the computable functions.
J. V. Tucker, Jeffery I. Zucker
Added 23 Dec 2010
Updated 23 Dec 2010
Type Journal
Year 2002
Where TOCL
Authors J. V. Tucker, Jeffery I. Zucker
Comments (0)