A computational example of WSD (with mismatch and gap penalties set to 1 in this example). Arrows of different colors indicate the origin of the cell. (A) When the cost score c = 0, the extend function is executed. (B) When c = 0 and the final cell cannot be reached, the cost score c is incremented and the expand function is executed. (C) When the cost score c = 1, the extend function is executed.