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

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