Logiweb(TM) Reference cardinals

Prev Up Next Page 409 of 800 Search internet

To explain the notions of Logiweb 'bodies' and Logiweb 'dictionaries', we first need to introduce Logiweb 'reference cardinals' and Logiweb 'symbols'.

As mentioned earlier, a reference is a list of bytes where a byte is a cardinal in the range 0..255. To each reference

   r = (b_0,b_1,...,b_n)

we associate the following 'reference cardinal':

   R = b_0 * 256^0 + b_1 * 256^1 + ... + b_n * 256^n + 256^(n+1)

As an example, if <2,0> were a valid reference, then the associated reference cardinal would be 2*256^0+0*256^1+256^2 = 2+0+65536 = 65538.

Translation from references to reference cardinals is injective meaning that if one is given a reference cardinal, then one can uniquely determine the associated reference.

Prev Up Next Page 409 of 800 Search logiweb.eu

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