●空欄イ　解説
　最後の比較位置を考えればよい。最後の比較は，下図に示すように，比較対象テキストの右端位置(i)が，テキストの最後の文字位置(n)のときである。したがって，変数iがn以下であるときは，始点移動ループを繰り返すことになるから，【空欄イ】には「i≦n」を入れる。

　次の2つのうちいずれかの条件を満たしたとき，始点移動ループを終了する。
一致する文字列が見つかったとき。すなわち，「found＝1(空欄ウの解説参照)」となったとき。
最後まで比較し終えたとき。ここで最後の比較は，比較対象テキストの右端位置(i)が，テキストの最後の文字位置(n)のときである。したがって，変数iがnより大きくなった「i＞n」とき，始点移動ループを終了する。

　以上，「found ＝ 1 or i ＞ n」が始点移動ループの終了条件である。そこで，繰返し条件である【空欄イ】には，その否定である「found＝0 and i≦n」を入れる。なお，foundは0か1かのどちらかにしかなりえないので，「found＝0」は「found≠1」と同じである。