三つのスタック$A$，$B$，$C$のいずれの初期状態も$[1,2,3]$であるとき，再帰的に定義された関数$f()$を呼び出して終了した後の$B$の状態はどれか。ここで，スタックが$[a_1,a_2,\cdots,a_{n-1}]$の状態のときに$a_n$をpushした後のスタックの状態は$[a_1,a_2,\cdots,a_{n-1},a_n]$で表す。

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