Logiweb(TM)

13.4.3 Identifiers

Prev Up Next Page 443 of 800 Search internet


x00::=0000 0000 | 1000 0000 x00
x01::=0000 0001 | 1000 0001 x00
x02::=0000 0010 | 1000 0010 x00
x03::=0000 0011 | 1000 0011 x00
x04::=0000 0100 | 1000 0100 x00
x05::=0000 0101 | 1000 0101 x00
x06::=0000 0110 | 1000 0110 x00
x07::=0000 0111 | 1000 0111 x00

Each non-negative integer can be represented in more than one way. As an example, the syntax class x05 covers all bit-vectors that represent the number five.

Identifiers are cardinals used for identifying something. When parsing an identifier one may choose to parse it as a cardinal, convert it to a number, and then do further processing based on that number.

Prev Up Next Page 443 of 800 Search logiweb.eu

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