Zielonka's algorithm is based on a recursive descent on the number of priorities.
Zielonkaのアルゴリズムは、優先度の値に関する再帰降下に基づいている。