回答編集履歴

  min は引数のうち小さい方を返す関数ですね。よく出る表現なので、覚えてください。

 

  n と m は既に出てきました。s の桁数が n 桁で、t の桁数が m 桁です。

 

  次の条件より、j もやはり桁数ですが、1 以上 i 未満であることがわかります。これはインデックスですね。i, j, k は配列のインデックスを表すのによく使われます。

  i 未満の任意の整数 j において sj=tj が成立するというところより、文字列を順番に前から比較していき、i 桁より前ではすべて一致すると書いています。