Is it possible to detect termination of the Itai-Rodeh algorithm (Algorithm 9.5) using Safra's termination-detection algorithm (Algorithm 8.7)?
Can you think of an other termination-detection algorithm discussed earlier that can be used for this purpose?