input: Bemenet: A[1], A[2], ..., A[N].
  Kimenet: B[1], B[2], ..., B[N] új, rendezett B tömb, amely N egész számból áll.
  
  For i = 2-től N-ig
      j = i
      míg j > 1 és A[j] < A[j-1]
          A[j] és A[j-1] felcserélése
          j = j-1
instruction: Fordítsuk vissza ezt az algoritmust.
output: Ez az algoritmus az Insertion Sort rendezési algoritmus implementációja. Egy N egész számból álló A bemeneti tömböt úgy rendez, hogy az i = 2 indexétől a tömb (N) végéig minden elemen végigmegy. Az algoritmus minden egyes elemet összehasonlít az előtte lévővel (A[j] - A[j-1]), és ha A[j] kisebb, mint A[j-1], akkor a két értéket felcseréli. Ez a folyamat addig folytatódik, amíg vagy elérjük a tömb elejét, vagy A[j] nagyobb vagy egyenlő, mint A[j-1]. Ha a belső ciklus befejeződött az i aktuális értékére, a tömb garantáltan az i indexig rendezett lesz. A végeredmény egy rendezett tömb lesz a legkisebbtől a legnagyobbig.