 Input: A collection W of k HTML s

 Input: A collection W of k HTML strings, which encode k instances of the same type.
 Output: A type , and a collection C of instances of type , such that there is a HTML encoding enc such that enc: C W is a bijection.

Kết quả (Việt) 1:

 đầu vào: một bộ sưu tập W k HTML dây, mã hóa trường hợp k cùng loại. đầu ra: A kiểu , và một bộ sưu tập C của trường hợp của loại , như vậy mà có một enc mã hóa HTML như vậy mà enc: C W là một song ánh.

Kết quả (Việt) 2:

 Input: Một bộ sưu tập W của chuỗi HTML k, mà encode k thể hiện của cùng loại.
 Output: Một loại , và một bộ sưu tập C các trường hợp của loại , như vậy mà có một HTML mã hóa enc mà enc: C W là một song ánh.

Kết quả (Việt) 3:

 nhập: tập hợp W. K chuỗi mã hóa của HTML, thí dụ như K - type. ra: một loại , và tập hợp C -  thí dụ, để có một mã HTML ENC, ENC:C   W là một song ánh.