空文字列は長さを持たないから"最短"にはならない、という解釈じゃダメ？
長さ 0 に対して「長い短い」を比較するのに違和感がある。
「大きい小さい」なら数学的な感じだから、「最小マッチ」なら 0 を
含んでもしっくりくるんだけど。