Go backward to Example: Decimal Number RepresentationGo up to TopGo forward to Multiple Variable Bindings |

Likewise, for any finite sequence `b` of binary digits 0 and 1,
the value

(sum_{0 <= i < length(b)}b_{i}*2^{i})

denotes the value of this sequence in the binary number system, e.g., the value of [0, 1, 1, 0, 1] is

1*2^{4}+0*2^{3}+1*2^{2}+1*2^{1}+0*2^{0}=22.

*Generalization to any number base.*

Author: Wolfgang Schreiner

Last Modification: November 16, 1999