summaryrefslogtreecommitdiff
path: root/017/ch1.pl
blob: 6a79051e2f52ae85ef4d3216f3610332e2542983 (plain) (blame)
1
2
3
4
5
6
7
8
9
10
11
12
13
14
15
16
17
18
19
20
21
22
23
24
25
26
27
28
29
30
31
32
33
34
35
36
37
#!/usr/bin/env perl
#
# Create a script to demonstrate Ackermann function. The Ackermann function is
# defined as below, m and n are positive number:
#
#  A(m, n) = n + 1                  if m = 0
#  A(m, n) = A(m - 1, 1)            if m > 0 and n = 0
#  A(m, n) = A(m - 1, A(m, n - 1))  if m > 0 and n > 0
#
# Example expansions as shown in wiki page.
#
#  A(1, 2) = A(0, A(1, 1))
#         = A(0, A(0, A(1, 0)))
#         = A(0, A(0, A(0, 1)))
#         = A(0, A(0, 2))
#         = A(0, 3)
#         = 4
#
# (https://en.wikipedia.org/wiki/Ackermann_function).
################################################################################

use strict;
use warnings;

use Memoize;

memoize "ack";

sub ack {
    my ($m, $n) = @_;
    return $n+1 if $m == 0;
    return ack($m-1, 1) if $n == 0;
    return ack($m-1, ack($m, $n-1));
}

@ARGV == 2 || die "Usage: $0 <m> <n>\n";
print ack(@ARGV), "\n";