「ただし、長さ N の列 A={a1,a2,…,aN} と B={b1,b2,…,bN} に対し、辞書順で A が B より小さいとは、
i<k で ai=bi
i=k で ai<bi
となるような k(1≦k≦N) が存在するということです」

「$i<k$ なる任意の $i$ で $a_i = b_i$, かつ $a_k = b_k$」
でしょうか.

はい．

「この操作で数列を作った時、」の後に文がありませんが，何を求めれば良いのですか

修正しました．「この操作で数列を作った時、」 の文自体が不要でした．大変失礼いたしました．

文字列に含まれる可能性のある文字の集合は何ですか？

小文字アルファベットのみです。