Algorithm CompSim

  input: sequences s and t of equal length n
  output: similarity between s and t

  k <- 1
  repeat
    KBand(s, t, k)
    break if a[n,n] >= M(n-k-1)+2(k+1)g
    k <- 2*k
  return a[n,n]