%I A083417
%S A083417 0,1,2,1,0,5,2,3,3,2,2,3,4,1,8,5,4,2,2,3,3,2,2,7,2,9,5,2,12,9,7,5,4,2,
               2,
%T A083417 3,4,1,8,5,4,2,2,3,3,2,2,15,8,5,1,43,20,13,10,3,14,7,3,11,8,3,8,5,4,2,
               2,
%U A083417 3,4,1,24,13,5,4,2,11,4,5,5,4,1,13,6,5,5,4,2,7,5,3,1,3,3,2,2,31,14,10,
               3
%N A083417 Primitive recursive function r(z, r(s, r(s, r(s, p_2)))) at (n, 0).
%D A083417 S. Wolfram, A New Kind of Science, 2001, p. 908.
%p A083417 z := x -> 0: s := x -> (1 + op(1, x)): p := x -> subs(q = x, y -> op(q, 
               y)): c := x -> subs(q = x, y -> eval((op(1, q))([(seq(op(i, q), i 
               = 2..nops(q)))(y)]))): r := x -> subs(q = x, y -> eval(`if`(op(1, 
               y) = 0, (op(1, q))([op(2, y)]), (op(2, q))([r(q)([op(1, y) - 1, op(2, 
               y)]), op(1, y) - 1, op(2, y)])))): seq(r([z, r([s, r([s, r([s, p(2)])])])])([i, 
               0]), i = 0..109);
%Y A083417 Sequence in context: A103185 A130513 A114596 this_sequence A021479 A073583 
               A060136
%Y A083417 Adjacent sequences: A083414 A083415 A083416 this_sequence A083418 A083419 
               A083420
%K A083417 nonn
%O A083417 0,3
%A A083417 Alex Fink (a00(AT)shaw.ca), Jun 08 2003