それは有限長の文字列です。なんの問題もない。
何億字もある文字列が「この文字列はこれこれこういう規則に従って並んでいます」
って言われて検証できるか、ということ。