Logiweb(TM)

13.2.4.8 String symbols

Prev Up Next Page 412 of 800 Search internet


A 'string' symbol is a symbol of form (0,I) where I is a cardinal which represents a string S. The cardinal I represents the the string S as follows: Write S as a sequence of bytes using UTF8 encoding:

   (b_0,b_1,...,b_n)

Then compute I thus:

   I = b_0 * 256^0 + b_1 * 256^1 + ... + b_n * 256^n

As an example, letter 'i' and 'f' are represented by Unicode 105 and 102, respectively, and UTF8 encode them as one byte each. Hence, the cardinal associated to 'if' is 105+256*102=26217, and (0,26217) is the string symbol representing 'if'.

All string symbols are improper since 0 cannot be a reference cardinal.

String symbols are understood to have arity zero.

We shall refer collectively to proper and string symbols as 'Logiweb symbols' or just 'symbols'.

Prev Up Next Page 412 of 800 Search logiweb.eu

Copyright © 2010 Klaus Grue, GRD-2010-01-05