ΠΡΟΓΡΑΜΜΑ ArrayValidation_Sub_new
ΣΤΑΘΕΡΕΣ
  n = 6
ΜΕΤΑΒΛΗΤΕΣ
  ΑΚΕΡΑΙΕΣ: i, A[n]
ΑΡΧΗ
  ΓΙΑ i ΑΠΟ 1 ΜΕΧΡΙ n
    ΑΡΧΗ_ΕΠΑΝΑΛΗΨΗΣ
      ΓΡΑΨΕ "A[", i, "] : "
      ΔΙΑΒΑΣΕ A[i] 
    ΜΕΧΡΙΣ_ΟΤΟΥ valid(A, i) = ΑΛΗΘΗΣ
  ΤΕΛΟΣ_ΕΠΑΝΑΛΗΨΗΣ
 ! Εκτύπωση
  ΓΙΑ i ΑΠΟ 1 ΜΕΧΡΙ n
    ΓΡΑΨΕ "A[", i, "] : ", A[i] 
  ΤΕΛΟΣ_ΕΠΑΝΑΛΗΨΗΣ
ΤΕΛΟΣ_ΠΡΟΓΡΑΜΜΑΤΟΣ

ΣΥΝΑΡΤΗΣΗ valid(A, i): ΛΟΓΙΚΗ
ΣΤΑΘΕΡΕΣ
  n = 6
ΜΕΤΑΒΛΗΤΕΣ
  ΑΚΕΡΑΙΕΣ: i, j, A[n] 
  ΛΟΓΙΚΕΣ: f
ΑΡΧΗ
  f <- ΑΛΗΘΗΣ
  j <- 1
  ΟΣΟ j < i ΚΑΙ f = ΑΛΗΘΗΣ ΕΠΑΝΑΛΑΒΕ
    ΑΝ A[i] = A[j] ΤΟΤΕ
      f <- ΨΕΥΔΗΣ
    ΑΛΛΙΩΣ
      j <- j + 1
    ΤΕΛΟΣ_ΑΝ
  ΤΕΛΟΣ_ΕΠΑΝΑΛΗΨΗΣ
  valid <- f
ΤΕΛΟΣ_ΣΥΝΑΡΤΗΣΗΣ