|
DataMuseum.dkPresents historical artifacts from the history of: Rational R1000/400 Tapes |
This is an automatic "excavation" of a thematic subset of
See our Wiki for more about Rational R1000/400 Tapes Excavated with: AutoArchaeologist - Free & Open Source Software. |
top - metrics - downloadIndex: B T
Length: 793 (0x319)
Types: TextFile
Names: »B«
└─⟦180fe333a⟧ Bits:30000405 8mm tape, Rational 1000, SW CATALOG, 10_20_0
└─⟦180fe333a⟧ Bits:30000537 8mm tape, Rational 1000, SW Catalog 10_20_0
└─⟦5cb1d1d7f⟧ »DATA«
└─⟦3b1ee7bd8⟧
└─⟦this⟧
with Instrument;
use Instrument;
procedure Akera2 is
-- PRAGMA SUPPRESS (ACCESS_CHECK);
-- PRAGMA SUPPRESS (DISCRIMINANT_CHECK);
-- PRAGMA SUPPRESS (INDEX_CHECK);
-- PRAGMA SUPPRESS (LENGTH_CHECK);
-- PRAGMA SUPPRESS (RANGE_CHECK);
-- PRAGMA SUPPRESS (DIVISION_CHECK);
-- PRAGMA SUPPRESS (OVERFLOW_CHECK);
-- PRAGMA SUPPRESS (STORAGE_CHECK);
I : Integer;
function Ackermann (N, M : Integer) return Integer is
begin
if N = 0 then
return M + 1;
elsif M = 0 then
return Ackermann (N - 1, 1);
else
return Ackermann (N - 1, Ackermann (N, M - 1));
end if;
end Ackermann;
begin
Start ("AKERA2", "Ackerman function (test)");
I := Ackermann (3, 4);
Stop;
end Akera2;