Δεν συμφωνώ γιατί,
...
ΟΣΟ j < 9 ΚΑΙ W[j+1] = S[i+j] ΕΠΑΝΑΛΑΒΕ
j <- j + 1
ΤΕΛΟΣ_ΕΠΑΝΑΛΗΨΗΣ
...
1) Για j = 9 και i < 991, στη συνθήκη (j < 9) ΚΑΙ (W[j+1] = S[i+j]) εξετάζεται το τελευταίο στοιχείο του πίνακα W[9+1] -> W[10] με το στοιχείο S[1..990 + 9] -> S[10...999]. (δεν έχουμε υπέρβαση ορίων πίνακα)
2) Για j = 9 και i = 991, στη συνθήκη (j < 9) ΚΑΙ (W[j+1] = S[i+j]) εξετάζεται το τελευταίο στοιχείο του πίνακα W[9+1] -> W[10] με το στοιχείο S[991 + 9] -> S[1000]. (δεν έχουμε υπέρβαση ορίων πίνακα)
Στη συνέχεια αφού η εσωτερική επανάληψη τελειώσει για j = 9 ελέγχει αν και τα τελευταία προς έλεγχο στοιχεία των πινάκων (για να συμπληρωθούν 10 συγκρίσεις) είναι ίδια, κτλ
Αν πάλι, η εσωτερική Όσο διακόψει γιατί βρέθηκαν διαφορετικά στοιχεία στους δύο πίνακες, αυτό θα το "βρεί" η Αν μετά την εσωτερική Όσο και θα αυξήσει την τιμή του i.