属性付き翻訳機が上位ダウン変換機で実現可能かどうかを決定する

属性付き翻訳機で記述された翻訳が上位ダウン変換機で実現可能かどうかを決定し、可能な場合にはそのような上位ダウン変換機を構築する手順を示す。