Reducing recursion to iteration by means of pairs and N-tuples

  • Corrado Böhm
Part 1: Invited Contributions
Part of the Lecture Notes in Computer Science book series (LNCS, volume 306)


(i) The family \(\mathbb{D}\)of data systems , considered as heterogeneous term- (anarchic-) algebras with a finite number of supports and constructors, has the property that the family \(\mathbb{I}\)of iterative functions mapping algebras into algebras does not change if, inside its definition, the primitive recursion scheme replaces the iteration scheme [Böhm 1986]. The same idea is developed here, for other recursion schemes, neither iterative nor primitive recursive, like the simultaneous (mutual) iteration schemes. Illustrations of such schemes are algorithms or functions more or less familiar in computer science, e.g. functions defined by some limited while schemes.

(ii) Since recursion scheme can also be viewed as a rewriting (computation) scheme it makes sense to ask for special representing algebras with the property that the computational complexity of some functions, like the inverses of the constructors, be reasonably comparable with that one of the corresponding computer instructions.


Functional programming algebraic data types initial algebras term algebras simultaneous recursive equations subrecursive function theory 


Unable to display preview. Download preview PDF.

Unable to display preview. Download preview PDF.

Copyright information

© Springer-Verlag Berlin Heidelberg 1988

Authors and Affiliations

  • Corrado Böhm
    • 1
  1. 1.Dipartimento di Matematica, Istituto G. CastelnuovoUniversità degli Studi “La Sapienza”RomaItaly

Personalised recommendations