BIT Numerical Mathematics

, Volume 11, Issue 1, pp 107–119 | Cite as

The Ackermann function. a theoretical, computational, and formula manipulative study

  • Yngve Sundblad
Article

Abstract

Ackermann's function is of highly recursive nature and of two arguments. It is here treated as a class of functions of one argument, where the other argument defines the member of the class. The first members are expressed with elementary functions, the higher members with a hierarchy of primitive recursive functions. The number of calls of the function needed in a straightforward recursive computation is given for the first members. The maximum depth in the recursion during the evaluation is investigated.

Results from tests with the Ackermann function of recursive procedure implementations in ALGOL-60, ALGOL W, PL/I and SIMULA-67 on IBM 360/75 and CD 6600 are given.

A SYMBAL formula manipulating program, that automatically solves recurrence relations for the first members of the function class and for the number of calls needed in their straightforward computation, is given.

The Ackermann rating of programming languages is discussed.

Keywords

Recursive Function Recursive Proceduré ALGOL-60 ALGOL W PL/I SIMULA-67 Automatic Formula Manipulation SYMBAL APL 

CR categories

5.20 5.23 4.22 

Preview

Unable to display preview. Download preview PDF.

Unable to display preview. Download preview PDF.

References

  1. 1.
    W. Ackermann,Zum Hilbertschen Aufbau der reellen Zahlen, Math. Annalen 99 (1928), pp. 118–133.CrossRefGoogle Scholar
  2. 2.
    J. A. Brown,Using the Ackermann Function to Rate Programming Languages, APL QUOTE-QUAD, vol. 2, no. 1, April 1970, ed. G. Foster, Syracuse University, N.Y.Google Scholar
  3. 3.
    M. E. Engeli,User's Manual for the Formula Manipulation Language SYMBAL, Univ. of Texas Computation Center, Austin 1968.Google Scholar
  4. 4.
    M. E. Engeli,Formula Manipulation—The User's Point of View, Advances in Information Systems Science (ed. J. Tou), Volume 1, N.Y. 1969, pp. 117–171.Google Scholar
  5. 5.
    K. E. Iverson,A Programming Language, Wiley, N.Y. 1968.Google Scholar
  6. 6.
    E. Satterthwaite,Comparison of Recursive Procedure Implementation, Working Paper, Stanford Univ., June 27, 1970.Google Scholar
  7. 7.
    Y. Sundblad,A Study of the Highly Recursive Ackermann Function Theoretically and as a Test of Recursive Procedures in ALGOL, PL/I and SYMBAL and of Formula Manipulation in SYMBAL, Report NA70.18, The Royal Institute of Technology, Stockholm, April 1970.Google Scholar

Copyright information

© BIT Foundations 1971

Authors and Affiliations

  • Yngve Sundblad
    • 1
  1. 1.Department of Information ProcessingRoyal Institute of TechnologyStockholmSweden

Personalised recommendations