he signature (see, e.g., [18,24]) g

he signature (see, e.g., [18,24]) given in Table 4.2 is used in defining
the type system. In this signature,kindsare capitalized and denote sets of types,
and type constructors are in italics. This signature generates a set of terms,
which are the types in the system. Terms includeint, region, moving(point),
range(int), etc. Type constructorrangeis applicable to all types in kindsBASE
andTIME, and hence the types that can be constructed by it are range(int),
range(real),range(string),range(bool), andrange(instant). Type constructors
with no arguments, for exampleregion, are types already and are calledconstant.

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

ông chữ ký (xem, ví dụ: [18,24]) được đưa ra trong bảng 4.2 được sử dụng trong việc xác địnhHệ thống loại. Trong chữ ký này, kindsare Hoa và biểu thị bộ loại,và loại nhà thầu in nghiêng. Chữ ký này tạo ra một tập các điều khoản,đó là các loại trong hệ thống. Điều khoản includeint, vùng, moving(point),Range(Int), vv. Gõ constructorrangeis áp dụng cho tất cả các loại kindsBASEandTIME, và do đó các loại có thể được xây dựng bởi nó là range(int),Range(Real),Range(string),Range(bool), andrange(instant). Loại nhà thầukhông có tham số, cho exampleregion, là loại đã và đang calledconstant.

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

ông chữ ký (xem, ví dụ, [18,24]) được đưa ra trong Bảng 4.2 được sử dụng trong việc xác định
loại hệ thống. Trong chữ ký này, kindsare hoa và biểu thị bộ các loại,
và loại nhà xây dựng được in nghiêng. Chữ ký này tạo ra một tập hợp các điều khoản,
đó là các loại trong hệ thống. Điều khoản includeint, khu vực, di chuyển (điểm),
phạm vi (int), vv Loại constructorrangeis áp dụng đối với tất cả các loại trong kindsBASE
andTIME, và do đó loại có thể được xây dựng bởi nó là phạm vi (int),
phạm vi (thực), phạm vi ( string), phạm vi (bool), andrange (ngay lập tức). Loại nhà xây dựng
không có tham số, cho exampleregion, nhiều loại đã và đang calledconstant.