https://5dok.net/document/dy4gm90y-string-to-string-correction-kernelization.html