挿入アルゴリズム; 変数   i、k、x:整数。  T [1..n]:整数。 Start  読み取り;  n:=n+1;  n から k までの i の場合 not-1  faire   T[i+1] := T[i];  finfaire    T[k] := x; End

手順:

プロシージャ insert(L:list,k:1..lmax, x:element) var i,n:1..lmax; Start  n := L.長さ;  L.Length:= n+1;  n から k までの i の場合 not-1  faire   L.T[i+1] := L.T[i];  finfaire  L.T[i] := x; End