They alleviate the computation cost somehow by using aggressive beam pruning, which might be sensible for their relatively small task (e.g., input sentences of < 10 words).
because q * only approximates p, y * of (13) may be locally appropriate but globally inadequate as a translation of x.