三つのスタックＡ，Ｂ，Ｃのいずれの初期状態も［1，2，3］であるとき， 再帰的に定義された関数 f() を呼び出して終了した後のＢの状態はどれか。 ここで，スタックが［a₁，a₂，…，a_n-1］の状態のときに a_nを push した後のスタックの状態は［a₁，a₂，…，a_n-1，a_n］で表す。

f(){
　Ａが空ならば{
　　何もしない。
　}
　そうでない場合{
　　Ａから pop した値をＣに push する。
　　f() を呼び出す。
　　Ｃから pop した値をＢに push する。
　}
}

最終的に、Ｂの状態は、［1，2，3，1，2，3］となる。