Code Input

Parameters Input

Parsed Elements

Parsed Program

Decomposed Form

f0 := P4;
f1 := P1;
main := Recursion {Base: f1, Step: f0};

Compact Form

Recursion {
  Base: 
    P1,
  Step: 
    P4
}

Parsed Parameters

[0,2,3]

Computation State

Computation completed

Computation Result

2

Last Computation State

Head: 
P1
Args: 
( 2,
  3
)