An arithmetic encoder takes a string of symbols as input and produces a rational number in the interval [0,1) as output. As each symbol is processed, the encoder will restrict the output to a smaller interval.
Note: Cut and Pasted definition. Someone with a math background might like to AddToMe.
2 pages link to ArithmeticEncoding: